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/