Allow PRs to be marked as merged by API or commit

[dragon-archer]

Select Topic Area

Product Feedback

Body

Considering of cli/cli#1318 and https://github.com/orgs/community/discussions/11639, if you want the merge commit of a PR is signed with your own GPG while using merge with rebase or squash merge features, it's necessary to do the merge local and then push the result to GitHub, instead of doing it on Web. cli/cli#1318 (comment) gives an example for this.

However, when doing this, the PR will end up with Closed instead of Merged, so is it possible to add an API endpoint and/or auto-scan commit message, so that PRs can be automatically marked as Merged when such local merges are pushed to GitHub?

Currently, issues can be auto-closed with message fix: #xx, perhaps we can allow a similar grammar that applies to PRs?

[github-actions[bot]]

💬 Your Product Feedback Has Been Submitted 🎉

Thank you for taking the time to share your insights with us! Your feedback is invaluable as we build a better GitHub experience for all our users.

Here's what you can expect moving forward ⏩

• Your input will be carefully reviewed and cataloged by members of our product teams. 
  • Due to the high volume of submissions, we may not always be able to provide individual responses.
  • Rest assured, your feedback will help chart our course for product improvements.
• Other users may engage with your post, sharing their own perspectives or experiences. 
• GitHub staff may reach out for further clarification or insight. 
  • We may 'Answer' your discussion if there is a current solution, workaround, or roadmap/changelog post related to the feedback.

Where to look to see what's shipping 👀

• Read the Changelog for real-time updates on the latest GitHub features, enhancements, and calls for feedback.
• Explore our Product Roadmap, which details upcoming major releases and initiatives.

What you can do in the meantime 💻

• Upvote and comment on other user feedback Discussions that resonate with you.
• Add more information at any point! Useful details include: use cases, relevant labels, desired outcomes, and any accompanying screenshots.

As a member of the GitHub community, your participation is essential. While we can't promise that every suggestion will be implemented, we want to emphasize that your feedback is instrumental in guiding our decisions and priorities.

Thank you once again for your contribution to making GitHub even better! We're grateful for your ongoing support and collaboration in shaping the future of our platform. ⭐

[anorak999]

Local merges with GPG signing (especially squash or rebase) do not mark PRs as "Merged" on GitHub - they show as "Closed" because GitHub doesn't detect the PR head commit in the target branch.

[dragon-archer]

Yes, so I wonder if we could add a special grammer like merge: #xx, and act like fix: #xx but for PRs instead of issues