When a PR is merged, is it closed automatically or do we need to do something to close it?
-- ~Ethan~ _______________________________________________ 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/KQTFNLGGMMJMEMAXAY5A4TFHFASYWSDV/ Code of Conduct: https://www.python.org/psf/codeofconduct/
