There's a user on GitHub ('experimentalles') who has created random PRs on several projects (e.g. https://github.com/python/peps/pull/1116). Can we ban them? The PRs look the work of a vandal or a bot, not of a clueless human._______________________________________________
Python-Dev mailing list -- python-dev@python.org
To unsubscribe send an email to python-dev-leave@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/4DLHMWMNWLB3YKDLCMW4KRHZZBUEH3H2/