FWIW: On Thu, Aug 30, 2018 at 5:23 PM Craig Rodrigues <[email protected]> wrote: > I wasn't even aware of jenkins-infra/repository-permissions-updater, so I > guess that > is a relatively recent addition to the plugin adoption process.
It is over two years old. > it is not obvious to me as an end-user what kind of PR > I have to do to jenkins-infra/repository-permissions-updater>, as part of the > plugin adoption > process. https://github.com/jenkins-infra/repository-permissions-updater/blob/master/.github/PULL_REQUEST_TEMPLATE.md#when-adding-new-uploaders-this-includes-newly-created-permissions-files describes how to add new maintainers; TBD if we would advocate removing old ones. -- 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/CANfRfr0MWWcptgfC1F4Br1KdGC0ZLcJuQzEUxSZXhi8wa3jkXQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
