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)
Is there a way to do this if you have automerge set? I don't see a way
to control the commit message in that case, but I could easily be
missing something.
Eric
If you want the the associated GitHub Issue to be closed, it is
similar, you have to add to the commit message or the PR description:
"closes <github pr url>"
Documentation:
https://docs.github.com/en/github/managing-your-work-on-github/linking-a-pull-request-to-an-issue#linking-a-pull-request-to-an-issue-using-a-keyword
_______________________________________________
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/ZQJKTDWXL2SMVVNPIJJN4HX7SG4Q6NPU/
Code of Conduct: https://www.python.org/psf/codeofconduct/
_______________________________________________
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/JYE3EBQLYB5J5MKNDMDECGTS5M54IONQ/
Code of Conduct: https://www.python.org/psf/codeofconduct/
