Yes, it can be changed via IRC Bot. The docs is here: https://jenkins.io/projects/infrastructure/ircbot/#issue-tracker-management I agree the documentation is far from perfect. Probably we could create a "Plugin maintainer cheat sheet" or so to have main links on a single page.
BR, Oleg пятница, 12 января 2018 г., 20:52:16 UTC+1 пользователь slide написал: > > This is done via the jenkins-admin bot on IRC, so if you join there (or > just speak up if you are already there) it will be easiest. > > On Fri, Jan 12, 2018 at 12:50 PM Gabe Montero <[email protected] > <javascript:>> wrote: > >> I promise I've been hunting in the various wiki's etc. for about 30 >> minutes, >> as well as various internet searches. >> >> Is it as easy as say a new PR to change the order of the developers >> in the associated >> jenkins-infra/repository-permissions-updater/permissions yml file? >> >> thanks >> >> -- >> 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 [email protected] <javascript:>. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/jenkinsci-dev/CALtbK44TiYwKm9gAzg-deYEjVax%2BPWvd3tM8ftj4UqBhYu0vmA%40mail.gmail.com >> >> <https://groups.google.com/d/msgid/jenkinsci-dev/CALtbK44TiYwKm9gAzg-deYEjVax%2BPWvd3tM8ftj4UqBhYu0vmA%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> For more options, visit https://groups.google.com/d/optout. >> > -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/4cc62645-fd2f-4825-826e-a5c911609dfe%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
