On 7/9/2020 3:24 PM, Mariatta wrote:
is it closed automatically ?What is "it"? The PR itself? yes the PR becomes closed if it is merged.
The branch in your github fork is not automatically deleted. There is a button on the PR to do so. I don't know if the devguide mentions this.
The branch on your local repository is not automatically deleted when the branch on your fork is deleted. I try to remember to do it manually after hitting the button. I occassionally look through the fork branches for those that are obsolete.
_______________________________________________ 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/ETWSV2GJJX6YK2PAL3RKMBFEOL53GUUG/ Code of Conduct: https://www.python.org/psf/codeofconduct/
