[Python-Dev] Re: Annoying user on GitHub

[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 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/J6THTAO4CTYZK5UTUCKVLV6XIZ7HOSES/

[Python-Dev] Re: Annoying user on GitHub

[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 manually, but simply disallowing conversation 
in places where we don't want to have to pay attention to will force 
people towards the places where we are paying attention.


--
Terry Jan Reedy
___
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/5URHUWYJ7DCFPIUNFESFWNEUIOTU3AOH/

[Python-Dev] Re: Annoying user on GitHub

[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 Victor Stinner mailto: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.


Maybe there's also a way to automatically lock conversations on commits and old 
issues?


https://github.com/apps/lock

But I'm solidary with Victor that unless this is a sizeable problem, it would 
do more harm than good.

Obviously we can lock them manually, but simply disallowing conversation in places where we don't want to have to pay attention to will 
force people towards the places where we are paying attention.


Cheers,
Steve
___
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/X5TYHVAORL72RFZLYIPFZR72FS2OLIRI/


--
Regards,
Ivan
___
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/AFUAX5W67PB4OKXMQWOPFSOLZAWPY5CB/

[Python-Dev] Re: Annoying user on GitHub

[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 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 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.


Maybe there's also a way to automatically lock conversations on commits 
and old issues?


Obviously we can lock them manually, but simply disallowing conversation 
in places where we don't want to have to pay attention to will force 
people towards the places where we are paying attention.


Cheers,
Steve


--
Night gathers, and now my watch begins. It shall not end until my death.
___
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/X53KJU4ZYQATKFC5ACTJPFCQFF6MWWHZ/

[Python-Dev] Re: Annoying user on GitHub

[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 Tue, Jul 2, 2019, 1:42 AM Victor Stinner > > 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.
> 
> Maybe there's also a way to automatically lock conversations on commits and 
> old issues?
> 
> Obviously we can lock them manually, but simply disallowing conversation in 
> places where we don't want to have to pay attention to will force people 
> towards the places where we are paying attention.

Hi Steve et al.,

I think this is eminently do-able via the GitHub API. Happy to put together a 
script if people are interested. Is there a repo being used for github magic?

(I did a lot of this on a recent project - 
http://ivory.idyll.org/blog/2019-github-project-reporting.html - the PyGithub 
package is excellent.)

best,
—titus

___
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/KGJ4DXRDZ2F5FBXGNOUYE5BKA55UV7RX/

[Python-Dev] Re: Annoying user on GitHub

[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 > 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.


Maybe there's also a way to automatically lock conversations on commits 
and old issues?


Obviously we can lock them manually, but simply disallowing conversation 
in places where we don't want to have to pay attention to will force 
people towards the places where we are paying attention.


Cheers,
Steve
___
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/X5TYHVAORL72RFZLYIPFZR72FS2OLIRI/

[Python-Dev] Re: Annoying user on GitHub

[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 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  > > 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/
> >
> ___
> 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/

[Python-Dev] Re: Annoying user on GitHub

[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 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 > 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?)/


___
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/


___
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] Re: Annoying user on GitHub

[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 vandal or a bot, not of a clueless
> human.
>
> --
> --Guido van Rossum (python.org/~guido)
> *Pronouns: he/him/his **(why is my pronoun here?)*
> 
> ___
> 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/