[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 is updated is enough.

You're right, I'm trying to always thank the reporter, the dev who
fixed it, but also everyone who helped to investigate the bug and to
review the fix. Well, everybody :-D Sometimes, for more complex fixes
than usual, I'm trying to write a more specific message than my
regular message ;-)

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.

Victor
-- 
Night gathers, and now my watch begins. It shall not end until my death.
___
python-committers mailing list -- [email protected]
To unsubscribe send an email to [email protected]
https://mail.python.org/mailman3/lists/python-committers.python.org/
Message archived at 
https://mail.python.org/archives/list/[email protected]/message/457J7PB4J3C4IBA7K6LT757L37F6OOFA/
Code of Conduct: https://www.python.org/psf/codeofconduct/


[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, 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.

- Tal
___
python-committers mailing list -- [email protected]
To unsubscribe send an email to [email protected]
https://mail.python.org/mailman3/lists/python-committers.python.org/
Message archived at 
https://mail.python.org/archives/list/[email protected]/message/5XCTFAVEEYDCGHREOODF74XMENASTCG5/
Code of Conduct: https://www.python.org/psf/codeofconduct/