Description
We are terrible at removing "help wanted" labels from issues that have solutions in the works. Having another label added automatically when a PR exists that claims to fix an issue would help. Or perhaps just automatically removing "help wanted" would do.
Unfortunately GitHub provides little in the way of API to identify when an issue is referred to, let alone by a pr with "fixes", "closes", etc.
The idea, then, would be to watch activity on the repo (initially by polling the events API; otherwise with a web hook), and when a pull request event comes in, to check if its .payload.pull_request.body contains a "fixes"-style statement, and to label the targeted issue appropriately.
Firstly, the contributor (ping @gxyd) should check if there are existing bot apps for GitHub that can be easily configured to do this (especially to respond to events) Otherwise this should be implemented in a separate repo and initially tested on another repo (or on itself).
Extensions:
- Track which PRs will close which issues in a database
- Use that database to update the tags when a PR description is changed, or the PR is closed.
- Record when each pr was last updated. Use this to distinguish between a "has active pr" and a "has inactive pr" label