Description
Hello!
I was hoping to see if adding the following to your repository would be welcomed:
- a GitHub action that closes
stale issues
- a Pull Request template that ensures an issue is closed if a pull request is merged
I bring this up because I'm really invested in trying to contribute to this repository and noticed that a few of the issues I wanted to work on seemed to have been resolved with pull requests merged into them already.
Perhaps if we add a pull request template that has verbiage like "This pull request closes #ISSUE_NUMBER", we could lower the number of resolved issues that are still open.
Similarly, by having a GitHub action that closes stale issues
, it might be possible to gauge if some issues are still lingering despite being logged a long time ago (i.e., if the one that logged an issue still states that the issue is still ongoing).
I'd be happy to work on this if these are welcomed additions!