Hello Martin, Weird thing is that there are 3 exactly similar pull requests from different contributors. The students PR is the last one to be created, so I I would rather close it as a duplicate TBH.
W.r.t merge/release, I do not think we can do a lot without active maintainer there. Somebody would need to adopt the plugin and to cut a new release. https://wiki.jenkins.io/display/JENKINS/Adopt+a+Plugin Best regards, Oleg 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 jenkinsci-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/dbb7b139-f5fe-4e69-8940-5c6bb291e949%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.