Delete source branch after merging by DEFAULT
git - How to cancel a pull request on github? - Stack Overflow
Github - How to Auto Delete Branch after Pull Request merge - YouTube
Complete, abandon, or revert pull requests - Azure Repos | Microsoft Learn
How to Deal With Stale Branches on the Github | by Vladyslav Babak | Medium
What are ways to delete a pull request on GitHub? - Quora
git - Remove a modified file from pull request - Stack Overflow
Managing disruptive comments - GitHub Docs
How to delete a GitHub commit which isn't a pull request yet? - Web Applications Stack Exchange
Delete a branch with an open pull request - The GitHub Blog
Create Pull Request - Visual Studio Marketplace
Merge pull requests (automerge-action) · Actions · GitHub Marketplace · GitHub
Automatically delete head branches isn't synced with the extension after merge/squash · Issue #3678 · microsoft/vscode-pull-request-github · GitHub
Delete an unmerged pull request · community · Discussion #23751 · GitHub
Delete a branch with an open pull request - The GitHub Blog
How to Delete Local and Remote Git Branches | refine
Recovering a pull request after accidentally deleting the source branch · Garry Trinder
Improved pull request file filtering - The GitHub Blog
git - How to delete a pull request? - Stack Overflow
Complete, abandon, or revert pull requests - Azure Repos | Microsoft Learn
Reviewing GitHub Pull Requests in Visual Studio
Remove file from PR · Issue #1901 · refined-github/refined-github · GitHub
GitHub - How to close or delete a pull request on GitHub.
How to Delete a Pull Request in GitHub | Scribe
Creating and deleting branches within your repository - GitHub Docs
Deleting and restoring branches in a pull request - GitHub Enterprise Server 3.7 Docs
