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
mailto:vstinner@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?
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