[Python-Dev] Re: Annoying user on GitHub

2019-07-02 Thread 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 ema

[Python-Dev] Re: Annoying user on GitHub

2019-07-02 Thread Terry Reedy
On 7/2/2019 12:09 PM, Steve Dower wrote: Maybe there's also a way to automatically lock conversations on commits and old issues? I occasionally add comments both to closed issues and merged commits. For commits, 'Thank you' or 'See # for followup' are examples Obviously we can lock them

[Python-Dev] Re: Annoying user on GitHub

2019-07-02 Thread Ivan Pozdeev via Python-Dev
On 02.07.2019 19:09, Steve Dower wrote: On 02Jul2019 0840, Mariatta wrote: 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

[Python-Dev] Re: Annoying user on GitHub

2019-07-02 Thread Victor Stinner
It happens very rarely, like less than 10 spam commits per year. Maybe less than 5, I don't know. I don't think it's worth it to bother with locking conversations. Victor Le 02/07/2019 à 18:09, Steve Dower a écrit : On 02Jul2019 0840, Mariatta wrote: I've used the "Report abuse" feature on Gi

[Python-Dev] Re: Annoying user on GitHub

2019-07-02 Thread C. Titus Brown
> On Jul 2, 2019, at 9:09 AM, Steve Dower wrote: > > On 02Jul2019 0840, Mariatta wrote: >> 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

[Python-Dev] Re: Annoying user on GitHub

2019-07-02 Thread Steve Dower
On 02Jul2019 0840, Mariatta wrote: 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

[Python-Dev] Re: Annoying user on GitHub

2019-07-02 Thread Mariatta
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 wrote: > Hi, > > Sometimes, I get an email notification about

[Python-Dev] Re: Annoying user on GitHub

2019-07-02 Thread Victor Stinner
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 th

[Python-Dev] Re: Annoying user on GitHub

2019-07-01 Thread Mariatta
I've reported the user to GitHub. Ticket ID: 297185 On Mon, Jul 1, 2019, 5:40 PM Guido van Rossum 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