> I and a coworker are interested in adopting the github-oauth <https://github.com/jenkinsci/github-oauth-plugin> plugin. It is up for adoption.
Throwing my hat in the ring to assist with co-parenting :) https://github.com/jenkins-infra/repository-permissions-updater/pull/3466 On Tuesday, July 11, 2023 at 11:20:11 AM UTC+10 andreas...@gmail.com 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 jenkinsci-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/7e938786-625e-413a-a86e-5c881204c77cn%40googlegroups.com.
