> > is it closed automatically ?
What is "it"? The PR itself? yes the PR becomes closed if it 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/77HEHSO33T72T25NKRGKRNHOS2HATD6G/ Code of Conduct: https://www.python.org/psf/codeofconduct/
