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
