He himself could become the maintainer if he so wishes. If not I believe it falls under open for adoption, and I can recall the exact, but I believe it then falls to the core maintainer.
On Tuesday, March 26, 2019 at 9:58:30 PM UTC+1, martinda wrote: > > A GSoC student wants to merge a trivial fix to a plugin that no longer has > a maintainer. > > The plugin is changes-since-last-success-plugin > <https://plugins.jenkins.io/changes-since-last-success> (ndeloof is no > longer the maintainer as per this message > <https://groups.google.com/d/msg/jenkinsci-dev/BLIfRisUyag/MX7lfaDKBAAJ>) > > The PR is: > https://github.com/jenkinsci/changes-since-last-success-plugin/pull/3 > > How does the student proceed? > > Thanks, > Martin > -- 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/dc5ba9ff-c2ce-4a21-be38-98beb0ba884d%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
