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
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 emi
