Ping. It would be cool to get commit access to https://github.com/jenkinsci/git-plugin to be able to merge the pull request.
My github id: jakobk Thanks, Jakob On Thu, Jul 31, 2014 at 10:49 AM, Jakob Korherr <[email protected]> wrote: > Hi, > > I created a pull request for the git-plugin last week: > https://github.com/jenkinsci/git-plugin/pull/245 > > This pull request fixes JENKINS-22009 and potentially also some related > issues. I tested the fix locally, and also provided a test case in the pull > request. The code has also been reviewed by a colleague. > > Thus I think the pull request should be merged. I hope you think the same > way! > > Cheers, > Jakob > > > -- 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]. For more options, visit https://groups.google.com/d/optout.
