On 7/9/2020 3:29 PM, Mariatta wrote:
If you want the associated bpo ticket to be closed when the PR is
merged, you have to add the commit message saying
"closes <bpo url>"
(Note that we should document this:
https://github.com/python/devguide/issues/502)
If there are backports, which is nearly always for me, I prefer to not
close until the issue is really done. Once could edit the commit
message of the last one, but cannot know which of two will be last until
one is merged.
_______________________________________________
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/ZALDQ4LRXLASWBZSRGKYU2SJ7MPPN2P5/
Code of Conduct: https://www.python.org/psf/codeofconduct/
