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 -- 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/ETWSV2GJJX6YK2PAL3RKMBFEOL53GUUG/ Code of Conduct: https://www.python.org/psf/codeofconduct/
