https://issues.jenkins-ci.org/browse/INFRA-2103
On Saturday, May 11, 2019 at 6:01:33 PM UTC+2, Joseph P wrote: > > Done and done, though I do not appreciate the triple system duplication of > the information, notification noise and confusion it creates. > > On Wednesday, May 8, 2019 at 10:53:50 AM UTC+2, Oleg Nenashev wrote: >> >> Currently we have several active contributors with GitHub administrative >> access >> >> Generally these requests should go to the INFRA team (JIRA ticket + >> mailing list ping). >> If it is about a new org-wide application to be enabled (or about >> evaluation in few repos), starting a thread in the Dev list is probably the >> best way >> >> BR, Oleg >> >> >> On Friday, April 26, 2019 at 3:26:09 AM UTC+2, Joseph P wrote: >>> >>> Who should I contact about getting a GitHub app approval for jenkinsci >>> org. >>> >>> Feel overkill firing off to the mailing list and inside Jira, it will >>> just be lost in the sea. >>> >>> The specific app in question is: https://github.com/apps/settings >>> >>> >>> https://github.com/jenkinsci/configuration-as-code-plugin/pull/856#issuecomment-486155499 >>> >>>> This PR is currently blocked by requested app approval. >>>> I have a request for "settings <https://github.com/probot/settings>" >>>> waiting to be approved for configuration-as-code-plugin repo >>>> >>>> @daniel-beck <https://github.com/daniel-beck> I think a >>>> @jenkinsci/admin group would make sense so I can poke more than one >>>> individual [image: sweat] or is there a better channel? [image: >>>> confused] >>>> should I use the mailing list or should I use Jira? >>>> I find it confusing that we live outside of GitHub. >>>> >>> >>> -- 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/92245111-f080-4da2-8f88-91af96d54c4d%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
