Monica.dev 👩🏾💻 on Twitter: "TIL there are some handy keywords to link GitHub pull requests to issues which is helpful for auto-closing issues when pull requests are merged ✨ Source: https://t.co/KwUd8vgWGc https://t.co/rDJRlR5Qhp" /
Zenhub's Issue and PR Connections
Comment on pull request - Backlog Enterprise
Automatically close stale issues and pull requests - Freek Van der Herten's blog on PHP, Laravel and JavaScript
Introducing our GitHub integration - Flare blog
How to automatically close your issues once you merge a PR - DEV Community
Best Practices for Using GitHub Issues - Rewind
New issue and pull request state icons | GitHub Changelog
Closing Issues via Pull Requests | The GitHub Blog
How To Create A Pull Request on Github: Propose Changes to GitHub Repositories | Earth Data Science - Earth Lab
Attach a Pull Request to an Existing GitHub Issue - Top Bug Net
How to automatically close issues once a pull request is merged #Shorts - YouTube
workflow - Automatically closing issue from pull request in GitHub - Stack Overflow
How to automatically close Issue(s) when you push a commit to GitHub – 046 – Sara Ford's Blog
Automatically close GitHub Issues – Hack-the-Planet
How to reopen a closed PR on Github · GitHub
GitHub pull requests workflow - Contributing | Mbed OS 6 Documentation
Pull requests merged through the API are not auto closing issues (closing keywords) · community · Discussion #24869 · GitHub
git - How to cancel a pull request on github? - Stack Overflow
How to automatically close your issues once you merge a PR - DEV Community
How to automatically close your issues once you merge a PR - DEV Community
Closed pull requests retain no information about deleted branches · Issue #9158 · go-gitea/gitea · GitHub
Commit log や Pull Request を close すると Issue も close する - Qiita
git - How to cancel a pull request on github? - Stack Overflow
Zenhub's Issue and PR Connections
