Feature request: "Mark as Merged" for PRs

schema-request

#1

Should be an API endpoint or even the fourth option on the “Big Green Merge” button.
Mark as Merged should have no git semantics, just take our word that this PR has been incorporated into it’s target.

In the nodejs org we sometimes rebase and squash 3rd party PRs, since we don’t want to force push into the PRs branch, all we are left with is “Close” which is kind of a shame :slight_frown:


#2

right; the rebase and squash is heavily used in the original linux kernel community; github should have a way to mark as merged. Also want in comments the “Close #pr” to close the pr and “Resolve #pr” or “Merged #pr” to mark it as merged, at the time when the commit was pushed.


#3

I am going to close this thread because I’ve determined that it is off-topic.

Please use this forum to discuss the GitHub Platform Early Access programs.

If you have feedback, questions, or suggestions about GitHub features that are not covered by the GitHub Platform Early Access programs, write in to GitHub Support.


#4