Hey Ulli, Thanks for proposing to adopt metrics-aggregation and pull-request-monitoring plugins. It's awesome that you want to update them! We do appreciate your effort to keep these projects alive, especially since they started as student theses.
+1 from me, of course. Cheers, Bruno On Tue, Dec 10, 2024 at 8:19 PM Ullrich Hafner <ullrich.haf...@gmail.com> wrote: > Hi, > I would like to adopt at the two following plugins: > > Links: > - https://github.com/jenkinsci/metrics-aggregation-plugin > - https://github.com/jenkinsci/pull-request-monitoring-plugin > Status: for adoption (and abandoned) > GitHub Username: uhafner > Jenkins Infrastructure ID: drulli > Repository Permission Updater PR: > https://github.com/jenkins-infra/repository-permissions-updater/pull/4223 > > Both plugins are student thesis results here at my university that are not > maintained anymore. I want to take a look to revive them so that they can > be used with the latest versions of the coverage and warnings plugins. > > Best regards, > > Ulli > > -- > 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 visit > https://groups.google.com/d/msgid/jenkinsci-dev/2E7600CD-CF83-4961-95F3-0BAAEA7AA54F%40gmail.com > . > -- Bruno Verachten -- 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 visit https://groups.google.com/d/msgid/jenkinsci-dev/CACtV%3Ddc%3D7kx%2BM46eVuMJz_pBvss6J4PLmJbC2SN6mEz6EUmvSg%40mail.gmail.com.
