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 <[email protected]>
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 [email protected].
> 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 [email protected].
To view this discussion visit 
https://groups.google.com/d/msgid/jenkinsci-dev/CACtV%3Ddc%3D7kx%2BM46eVuMJz_pBvss6J4PLmJbC2SN6mEz6EUmvSg%40mail.gmail.com.

Reply via email to