News for hackers. Stuff that matters.
Re:GitHub New pull request overview page in public preview by spike021 on Saturday November 07, 2026 @07:19PM (#50409358)
Just the other day my teammate approved my PR and despite the repo having that merge when ready feature enabled, it kept not working and throwing some random error.

IIRC we unapproved it, approved without that enabled, and then manually merged it.

There are no comments on this comment yet.