[python-committers] Re: workflow enhancement: a `mark bug as fixed` PR tag [feature request]

2020-10-12 Thread Tal Einat
On Mon, Oct 12, 2020 at 11:50 AM Victor Stinner 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, bu

[python-committers] Re: workflow enhancement: a `mark bug as fixed` PR tag [feature request]

2020-10-12 Thread Victor Stinner
Le lun. 12 oct. 2020 à 08:56, Tal Einat a écrit : > I've come to think that #2 is especially important. This is a > difference with a project like ours vs. a work environment: At a > workplace, there usually isn't a need to thank people for their work > on an issue, so just making sure that status