On November 5, 2018 3:02:09 PM UTC, Christopher Schultz <[hidden email]> wrote:
>-----BEGIN PGP SIGNED MESSAGE-----
>On 11/5/18 09:59, markt-asf wrote:
>> Github user markt-asf commented on the issue:
>> https://github.com/apache/tomcat/pull/131 >>
>> Spam. Reported to GitHub's abuse team.
>I went in to see if I could kill it myself. My GitHub id is
>ChristopherSchultz. Should I (and anyone else) be added to admins of
>the /apache/tomcat repo to remove junk like this?
Github privs are not, to my knowledge, sufficiently granular to do that. I can do it as an org admin but membership of that group is limited to the infra team.
The normal solution would be to close it with a dummy commit or to raise an infra ticket.
Not ideal but one of a number of areas we hope to address as github improves the granularity of its access controls.