The auto-close-GitHub-issues bot has been merged (https://github.com/open-mpi/ompi/pull/12329).
If you apply the label "State: Awaiting user information" to a Github issue and there's no reply in 4 weeks, the issue will be closed with a polite message. ________________________________ From: Jeff Squyres (jsquyres) Sent: Tuesday, February 13, 2024 12:15 PM To: Open MPI Developers <devel@lists.open-mpi.org> Subject: Github Action to auto-close stale/abandoned Github Issues Looking for feedback on auto-closing Github Issues: https://github.com/open-mpi/ompi/pull/12329. The rough idea is: 1. OMPI community member puts the "State: Awaiting User Information" label on a Github Issue (this does not apply to PRs) 2. If there's no reply in X=14 days, the bot will emit a comment saying (paraphrase) "Hey, it's been 2 weeks, if you don't reply in 2 more weeks, we'll auto-close" 3. If there's no reply in Y=14 more days, the bot will emit a comment saying (paraphrase) "It's been a month with no reply; I'm closing", and then it will close the issue. Thoughts? Comments? Suggestions for different X or Y values? -- Jeff Squyres
