Hello!
I'm trying to use a jenkins plugin (https://plugins.jenkins.io/github-pr-coverage-status) but it is not working because it has very old dependencies. I have opened a PR to update those dependencies (https://github.com/jenkinsci/github-pr-coverage-status-plugin/pull/55) but I can't get ahold of the listed maintainer (in CC). He hasn't done any commits in GitHub for the past 2 months and he hasn't replied to an email I sent.
I was told in the #jenkins channel in IRC that I should request being added as a maintainer in this mailing list. Both my GitHub ID and my Jenkins infrastructure account id are “edrevo”.
Thanks,
Ximo.