July 9, 2020
9:38 p.m.
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.