News for hackers. Stuff that matters.
Re:GitHub “allows” unauthorized users “merging” PRs, bypass ... by sighingnow on Thursday August 25, 2022 @10:49PM (#32602810)
+1 for the feature of marking as merged, as in many projects, e.g., apache arrow, the pull requests are merged in a different way and all pull requests are showed as "closed" rather than "merged".

It would cause some confusion for project management, I guess.

There are no comments on this comment yet.