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.
