[python-committers] Moderation of the Python community

[Ethan Furman]

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~