I've used the "Report abuse" feature on GitHub for such situations. Most of
the time I see the user suspended, and the associated comments deleted.
Our GitHub admins can delete comments too.

On Tue, Jul 2, 2019, 1:42 AM Victor Stinner <vstin...@redhat.com> wrote:

> Hi,
>
> Sometimes, I get an email notification about strange comments (unrelated
> or make no sense) on commits made 6 months ago if not longer. Usually, I
> go to the user profile page and I click on "Block or report user":
> "Report abuse". I'm not sure what happens in this case. I never checks
> if these strange comments are removed by GitHub.
>
> Victor
>
> Le 02/07/2019 à 03:26, Mariatta a écrit :
> > I've reported the user to GitHub. Ticket ID: 297185
> >
> > On Mon, Jul 1, 2019, 5:40 PM Guido van Rossum <gu...@python.org
> > <mailto: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 <http://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
> >     <mailto:python-dev@python.org>
> >     To unsubscribe send an email to python-dev-le...@python.org
> >     <mailto: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/
> >
> _______________________________________________
> 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/4HJ7EB64KNNBZH2MWSVYRWQSCHUZUIBI/
>
_______________________________________________
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/VDLYPUQXGKKAZIXMAEYFW2YCPFMW6AB6/

Reply via email to