Hi, The maintainer seems to be active. The last release was released 6 days ago, 1 day before this request was submitted.
Even if the plugin is up for adoption, it would be great to get his explicit confirmation in this thread or in https://github.com/jenkinsci/prometheus-plugin/pull/61 BR, Oleg On Tuesday, September 4, 2018 at 11:11:55 PM UTC+2, Baptiste Mathus wrote: > > > have reached out to Lars Sjostrom > > Any evidence for this somewhere? This element can obviously reduce the > timeout period > (which BTW out of this context as it stands would not have *really* > started yet as the current maintainer(s) is not in CC). > > Le sam. 1 sept. 2018 à 02:46, Marky Jackson <[email protected] > <javascript:>> a écrit : > >> The following plugin is up for adoption. I would like to maintain this >> plugin and have reached out to Lars Sjostrom >> https://plugins.jenkins.io/prometheus >> >> >> GitHub user: markyjackson-taulia >> Jenkins Infra username: jequals5 >> >> >> Should I file a pull request in repository-permissions-updater right away >> or wait for the two weeks grace period to end? >> >> -- >> 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] <javascript:>. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/jenkinsci-dev/945F7363-722F-4709-AD75-BBCFF00506AF%40gmail.com >> >> <https://groups.google.com/d/msgid/jenkinsci-dev/945F7363-722F-4709-AD75-BBCFF00506AF%40gmail.com?utm_medium=email&utm_source=footer> >> . >> For more options, visit https://groups.google.com/d/optout. >> > -- 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/ab02bb85-aa89-4320-84e4-2ecd8b24fbfc%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
