Andy, - Github username: 264nm - Jenkins Infrastructure: krzwrd - PR: https://github.com/jenkins-infra/repository-permissions-updater/pull/3466
Cheers, Chris On Tuesday, July 11, 2023 at 11:20:11 AM UTC+10 [email protected] wrote: > I have raised a permission PR too: > https://github.com/jenkins-infra/repository-permissions-updater/pull/3425 > On Monday, 10 July 2023 at 17:17:12 UTC+10 Andy Nygard wrote: > >> Hello, >> >> I and a coworker are interested in adopting the github-oauth >> <https://github.com/jenkinsci/github-oauth-plugin> plugin. It is up for >> adoption. >> >> My github is scurvydoggo <https://github.com/scurvydoggo/>. My jenkins >> infrastructure account is "scurvy". >> >> I raised a PR, github-oauth-plugin#246 >> <https://github.com/jenkinsci/github-oauth-plugin/pull/246> and then >> noticed that PRs are not being responded to and the plugin is up for >> adoption. >> >> I am part of a squad who operate Jenkins via on-premise cloud at a large >> enterprise in Australia, with a large number of users. >> >> I have experience writing Jenkins plugins: I have written one "agent >> killer" which ensures that Agents can only be used once. I hooked into the >> workflow (pipeline) events in order to track whenever an agent gets used, >> and then kill it as soon as it exits scope. I've also forked the >> docker-workflow plugin to support private auth for docker registries. >> Finally, we have forked the github-oauth plugin. >> >> My github is scurvydoggo <https://github.com/scurvydoggo/>. My jenkins >> infrastructure account is "scurvy". >> > -- 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/84d814c3-781b-4b2f-805d-0f1d6b0bf979n%40googlegroups.com.
