There's no officialness when it comes to managing those teams. There's some proposals but nothing formalized yet.
You can either do one of 3 things. 1) Reply to the list with the new github username, and one of the hosting team members can add it 2) You can create a ticket on https://github.com/jenkins-infra/helpdesk and one of the hosting team or infra team members will take care of it. 3) You can submit a PR to https://github.com/jenkins-infra/repository-permissions-updater/ which manages release permissions, but we also give github permissions at the same time. Gavin On Thu, Sep 15, 2022 at 1:17 PM 'jsupun' via Jenkins Developers < [email protected]> wrote: > I'm looking to add a co-worker to "keeper-secrets-manager-plugin > Developers." If I need to make a request, I'd like to send an email > directly to a maintainer with the user's github account/email. > > Thanks, > John > > -- > 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/30a399bd-059a-40af-becb-9c51735eb906n%40googlegroups.com > <https://groups.google.com/d/msgid/jenkinsci-dev/30a399bd-059a-40af-becb-9c51735eb906n%40googlegroups.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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAG%3D_DusgXbihFR0c9et78EwQdvPrGkKou4NOVc13Uw5LeWvjiw%40mail.gmail.com.
