On Mon, Oct 12, 2020 at 11:50 AM Victor Stinner email@example.com wrote:
Closing automatically an issue is not incompatible with saying thanks to people who helped to get it fixed. You can still comment on a closed issue, and people who are subscribed to the bug will be notified by email.
That's true, but isn't the whole point of automatically closing an issue to avoid having to browse to the issue page to close it manually?
To be clear, I support such automation. What I'm trying to say is that we should use such automation not only to avoid busy-work but also to help us do things like thanking contributors.