Expansion slow in PULL REQUEST view · Issue #4360 · microsoft/vscode-pull- request-github · GitHub
Improved pull request file filtering - The GitHub Blog
Managing disruptive comments - GitHub Docs
Delete an unmerged pull request · community · Discussion #23751 · GitHub
Remove file from PR · Issue #1901 · refined-github/refined-github · GitHub
git - How to cancel a pull request on github? - Stack Overflow
How to Delete a GitHub Branch - Carl de Souza
Delete a branch with an open pull request - The GitHub Blog
GitHub - How to close or delete a pull request on GitHub.
git - How do I delete merged Pull & Request history? - Stack Overflow
How to reopen a closed PR on Github · GitHub
4 Easy Ways to Delete a GitHub Branch - wikiHow Tech
How to Delete a Pull Request in GitHub | Scribe
Closing a github pull request should delete the lock · Issue #269 · runatlantis/atlantis · GitHub
Deleting Pull-Request · community · Discussion #28200 · GitHub
I cannot remove a pull request on github - Stack Overflow
git - How to cancel a pull request on github? - Stack Overflow
git - Remove a modified file from pull request - Stack Overflow
Label Conflicting Pull Requests · Actions · GitHub Marketplace · GitHub
Creating a pull request | Robocorp documentation
Dismissing a pull request review - GitHub Docs
Recovering a pull request after accidentally deleting the source branch · Garry Trinder
Bitbucket: Can pull-requests be removed from BitBucket?
