On 10/17/2018 03:05 PM, Victor Stinner wrote:
Oh, by the way, should we have two different choices: remove the commit bit from a core dev (downgrade a core dev as a regular contributor) and ban a core dev?
No. If it comes to this, then the dev needs to be banned. I would not expect this to happen except maybe once in what's left of my lifetime.
-- ~Ethan~ _______________________________________________ python-committers mailing list python-committers@python.org https://mail.python.org/mailman/listinfo/python-committers Code of Conduct: https://www.python.org/psf/codeofconduct/
