quarkusio / quarkus-github-bot

A Quarkus-powered GitHub App to simplify issues and pull requests management in the Quarkus project.
Apache License 2.0
22 stars 24 forks source link

Comment on issues that were meant to be closed but were not #332

Open geoand opened 1 year ago

geoand commented 1 year ago

As Quarkus maintainers we often decide to close issues that perhaps invalid, out of date or lack proper information. While doing this, I noticed a user error on our part that happens every now and then and which I think the bot can help with:

There are times as one of us members comments that we are closing the issue for this or that reason, but then we actually forget to.

It bot could add a ping that we likely wanted to close but forgot to do so.

There are various questions that need to be addressed (which we can likely apply some simple heuristics for initially and then improve if necessary):