Feature request: close PR by merging another PR #195520
Replies: 4 comments 2 replies
-
|
💬 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 ⏩
Where to look to see what's shipping 👀
What you can do in the meantime 💻
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. ⭐ |
Beta Was this translation helpful? Give feedback.
-
|
you can put |
Beta Was this translation helpful? Give feedback.
-
|
This would actually be a really useful feature, especially for OSS maintainers handling multiple competing or replacement PRs. Right now, GitHub’s “Development” section only supports auto-closing issues, but not automatically closing related PRs after one PR gets merged. In practice, many repositories frequently run into situations where multiple PRs solve the same problem in different ways, or where an older PR becomes inactive and a newer implementation replaces it. Having native support for:
would improve repository maintenance significantly. A few reasons why this would help:
It could also support optional behaviors such as:
This seems especially valuable for:
Currently this can partially be automated with GitHub Actions or bots, but native support inside GitHub would be much cleaner and more discoverable. |
Beta Was this translation helpful? Give feedback.
-
|
This would be an extremely valuable feature for OSS maintainers and large collaborative repositories. Right now GitHub only supports automatically closing issues through keywords like:
But there’s no equivalent workflow for pull requests, even though duplicate or replacement PRs are very common in active repositories. A native feature like:
would improve maintainability a lot. Some very common real-world scenarios:
Currently maintainers have to manually:
This becomes repetitive very quickly in medium and large OSS projects. It would also be helpful if GitHub supported different close states, for example:
Additional useful behavior could include:
This feature would fit naturally alongside GitHub’s existing issue-closing workflow and would make repository management significantly cleaner and more scalable for maintainers. |
Beta Was this translation helpful? Give feedback.
Uh oh!
There was an error while loading. Please reload this page.
-
🏷️ Discussion Type
Product Feedback
Body
Hello, I would like to be able to automatically close a PR by merging another PR.
GitHub supports a per-PR 'Development' configuration: 'Successfully merging this pull request may close these issues', where we can select the issues that should be automatically closed by merging the PR.
However, this only allows auto-closing issues, not PRs. In many OSS repos we want to close other PRs as well by merging one PR. This could be for different reasons:
If we could set other PRs to auto-close by merging a PR, it would be very useful.
Beta Was this translation helpful? Give feedback.
All reactions