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.
It would cause some confusion for project management, I guess.