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 [email protected]. 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.
