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 -- python-committers@python.org
To unsubscribe send an email to python-committers-le...@python.org
https://mail.python.org/mailman3/lists/python-committers.python.org/
Message archived at
https://mail.python.org/archives/list/python-committers@python.org/message/ZALDQ4LRXLASWBZSRGKYU2SJ7MPPN2P5/
Code of Conduct: https://www.python.org/psf/codeofconduct/
