Automatically Delete Branches after Merging Pull Requests on GitHub | egghead.io
Remove file from PR · Issue #1901 · refined-github/refined-github · GitHub
Changing the stage of a pull request - GitHub Docs
How to Delete a Pull Request in GitHub | Scribe
Github - How to Auto Delete Branch after Pull Request merge - YouTube
Closing a github pull request should delete the lock · Issue #269 · runatlantis/atlantis · GitHub
Complete, abandon, or revert pull requests - Azure Repos | Microsoft Learn
git - Remove a modified file from pull request - Stack Overflow
I cannot remove a pull request on github - Stack Overflow
Creating and deleting branches within your repository - GitHub Docs
Recovering a pull request after accidentally deleting the source branch · Garry Trinder
How To Create A Pull Request on Github: Propose Changes to GitHub Repositories | Earth Data Science - Earth Lab
git - How to cancel a pull request on github? - Stack Overflow
How to Create a Pull Request on Github: 15 Steps (with Pictures)
Creating and deleting branches within your repository - GitHub Docs
How to Delete a Branch in GitHub
Work with GitHub pull requests | IntelliJ IDEA Documentation
How to delete a GitHub commit which isn't a pull request yet? - Web Applications Stack Exchange
How to reopen a closed PR on Github · GitHub
Automatically merging a pull request - GitHub Docs
Improved pull request file filtering - The GitHub Blog
git - How do I delete merged Pull & Request history? - Stack Overflow
Dismissing a pull request review - GitHub Docs
