Thanks Christian Halstrick! I assume the fix will be included in the next JGit release and will then be available in the Jenkins git client plugin which uses that version of JGit.
The Jenkins git client plugin master branch currently depends on JGit 4.10.0. Any estimate when the next JGit release will happen?
Planned was a release in Feb18. But Matthias is quite busy and it's not clear whether we make this month. And yes, the next release will contain my fix.