Thanks for that info! That explains why it isn’t working. You’ve already found this other thread discussing it.
And as I mentioned there, I’m following up on when we can expect to incorporate the new version of JGit.
Thanks for that info! That explains why it isn’t working. You’ve already found this other thread discussing it.
And as I mentioned there, I’m following up on when we can expect to incorporate the new version of JGit.