Unable to re-open an accidentally-closed issue or pull request · Issue #378 · gitbucket/gitbucket · GitHub
Filtering & Closing Pull Requests on GitHub using the API - Yasoob Khalid
Recovering a pull request after accidentally deleting the source branch · Garry Trinder
Squirrel University
Dismissing a pull request review - GitHub Docs
git - How to cancel a pull request on github? - Stack Overflow
Add support for "Reopen pull request" button · Issue #78 · prettier/prettier-browser-extension · GitHub
Creating a pull request - GitHub Docs
Closed merge request is not updated · Issue #264 · dependabot/dependabot-script · GitHub
Unable to re-open an accidentally-closed issue or pull request · Issue #378 · gitbucket/gitbucket · GitHub
Close pull request - Backlog Enterprise
re-opening pull request · community · Discussion #22449 · GitHub
How To Create A Pull Request on Github: Propose Changes to GitHub Repositories | Earth Data Science - Earth Lab
How to create a pull request in GitHub | Opensource.com
git - How to delete a pull request? - Stack Overflow
Learn from PR overruns during your retrospective meeting - GitClear
Closed pull requests retain no information about deleted branches · Issue #9158 · go-gitea/gitea · GitHub
Creating and Merging Pull Requests in GitHub | Jason N. Gaylord
github - Merged pull request showing as open in Search results - Stack Overflow
Introducing draft pull requests - The GitHub Blog
How to Make a Pull Request – JCharisTech
How to reopen a closed PR on Github · GitHub
GitHub integration
Pull Request Analysis under the GitHub Checks Tab does Not get refreshed when there is status update made on Pull Request dropdown menu on SQ for Cobol Project - SonarQube - Sonar Community
Unable to re-open an accidentally-closed issue or pull request · Issue #378 · gitbucket/gitbucket · GitHub
