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/c7f77b26-29ce-4155-b77d-cd63730ae188%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
