I've reported the user to GitHub. Ticket ID: 297185
On Mon, Jul 1, 2019, 5:40 PM Guido van Rossum <gu...@python.org> wrote:
> 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.
>
> --
> --Guido van Rossum (python.org/~guido)
> *Pronouns: he/him/his **(why is my pronoun here?)*
> <http://feministing.com/2015/02/03/how-using-they-as-a-singular-pronoun-can-change-the-world/>
> _______________________________________________
> 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/4DLHMWMNWLB3YKDLCMW4KRHZZBUEH3H2/
>
_______________________________________________
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/KIJUE2RBLBLMKMC5QUQ3B5R6NDFOMAOH/
