[Python-Dev] Re: Annoying user on GitHub

[Brett Cannon]

GitHub actually provides a bot for this: https://probot.github.io/apps/lock/ . 
If people want to turn this one we can discuss it at 
https://github.com/python/core-workflow/.
_______________________________________________
Python-Dev mailing list -- python-dev@python.org
To unsubscribe send an email to python-dev-le...@python.org
https://mail.python.org/mailman3/lists/python-dev.python.org/
Message archived at 
https://mail.python.org/archives/list/python-dev@python.org/message/J6THTAO4CTYZK5UTUCKVLV6XIZ7HOSES/