On November 5, 2018 3:02:09 PM UTC, Christopher Schultz <ch...@christopherschultz.net> wrote: >-----BEGIN PGP SIGNED MESSAGE----- >Hash: SHA256 > >Mark, > >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. Mark > >- -chris >-----BEGIN PGP SIGNATURE----- >Comment: Using GnuPG with Thunderbird - https://www.enigmail.net/ > >iQIzBAEBCAAdFiEEMmKgYcQvxMe7tcJcHPApP6U8pFgFAlvgW3AACgkQHPApP6U8 >pFi/yQ//XoJfSAaXVASLBKLtBogcdXC+jbnWHYveHL/wvpYYyjyiPFSi8X2XeJS9 >jEbTnqqwq7h3XM5xEXrB4zANtVEszpwcSSubYVk6gJS4B2d4IqwE9WkCTawL+s/F >ZEWV8x7E9vxd6d4bDoPDoAbbvUVXVRTPbG5uEGriZ7lB5f0pnZylq5un1bW8X77j >p1bv10dvhkck+7fJnNE0iLccfWc5dKPyUkVcMMlRhWYfuj1FivSTopAjUbcko5d+ >sHdlTigcRmxDB/wrGf7RS+p9HsPg2WiBRYyLWcmL8q6CoDQ4vLhpd/aMH8x3UHVa >hoU959cQOcF6jQ/m3yszl3FtGWM6pN9TmBZ8TzshKoBd4b8pFRt4l7a4DA+0TcEA >YP/8RrRcPrMgmlmFlaUOg4GeC0UV9C5m/rMkvfAzzZrQ8qUEnKUNu7+SnxLWaNP6 >6iNQuXEqaU2e3MpBkODjyIfpIAy7t/PltZyf4MarcGmpE/N4WBpV+LR1XSEyvgzx >sS0lLLbqEMGEyAXzZMdclwGmNiyWNSaMGI/qaDWRUh1B6yI6gYkIeQA7rBuMZNH7 >53zdSg/HU3LdnxdPC08PPRAm5bkLROKzzxh/a5Wgk2oylNoQODX1x4bnW95RNrTs >i6lPGHFUG0h+XmWjQ2KhWy5up6bwtPVcr/qUTAHHcLJfnmZ/usw= >=BF46 >-----END PGP SIGNATURE----- > >--------------------------------------------------------------------- >To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org >For additional commands, e-mail: dev-h...@tomcat.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
