> What if I don't want randos on the internet messing up labeling of open PRs in repos I maintain? There's an issue here: https://github.com/timja/github-comment-ops/issues/54 I'm not sure how to scale that though, I thought about adding topic controls but that would mean an extra API call on each request eating into rate limits.
There could be a DSL in a config file or environment variable that excludes repositories / repositories:command, but that would mean maintainers would have to opt-out centrally. The extent of them messing up is limited to the set of labels you have configured and you will get a notification for any action they do. ----- At Daniel's request I've temporarily limited the repositories in the jenkinsci org to: - jenkins - design-library-plugin - jenkins-infra-test-plugin This is to gather feedback and in a couple of weeks if there's no objections we can enable globally. Thanks Tim On Mon, 25 Jul 2022 at 10:46, 'Daniel Beck' via Jenkins Developers < jenkinsci-dev@googlegroups.com> wrote: > > On Mon, Jul 25, 2022 at 10:22 AM Tim Jacomb <timjaco...@gmail.com> wrote: > >> It requires no organization permissions, which means anyone can request a >> review and add labels to issues and pull requests. >> > > What if I don't want randos on the internet messing up labeling of open > PRs in repos I maintain? > > -- > You received this message because you are subscribed to the Google Groups > "Jenkins Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to jenkinsci-dev+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-dev/CAMo7PtLqpyt4qKhWcG2e-z8ht3Dg4WACTLzje_fqfoEf27dLuw%40mail.gmail.com > <https://groups.google.com/d/msgid/jenkinsci-dev/CAMo7PtLqpyt4qKhWcG2e-z8ht3Dg4WACTLzje_fqfoEf27dLuw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAH-3BiciMcaqVPb--Ct2tz5ye2yY4k7Kb-ZHsHDfPBuH_65WoQ%40mail.gmail.com.
