Groups keyboard shortcuts have been updated
Dismiss
See shortcuts

Adoption of metrics-aggregation and pull-request-monitoring

32 views
Skip to first unread message

Ullrich Hafner

unread,
Dec 10, 2024, 2:19:42 PM12/10/24
to Jenkins Developers
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

Verachten Bruno

unread,
Dec 11, 2024, 3:48:32 AM12/11/24
to jenkin...@googlegroups.com
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

--
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-de...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/jenkinsci-dev/2E7600CD-CF83-4961-95F3-0BAAEA7AA54F%40gmail.com.


--
Bruno Verachten
Reply all
Reply to author
Forward
0 new messages