Improvement #2057
Upgrade JGit
Start date:
02.03.2020
Due date:
% Done:
0%
Estimated time:
origin:
Description
As our currently used version 4.7.0.201704051617 has File Locking problems (leaving stale lock files), it is time to update.
Acceptance Criteria¶
- Upgrade to 5.6.1