diff options
author | Matthias Sohn <matthias.sohn@sap.com> | 2020-11-27 10:25:46 +0100 |
---|---|---|
committer | Matthias Sohn <matthias.sohn@sap.com> | 2020-11-27 12:35:14 +0100 |
commit | 3deba8778f9bb416e36a1e769a07b054530d56cf (patch) | |
tree | 7f833765b3aa6ba1d28b8f016a9195226c73318e | |
parent | 2d15bd3fd34fd38297c3641cebd663f428dba083 (diff) |
Upgrade JGit to ad902087
This version contains the following fix:
Ensure that GC#deleteOrphans respects pack lock
If pack or index files are guarded by a pack lock (.keep file)
deleteOrphans() should not touch the respective files protected by the
lock file. Otherwise it may interfere with PackInserter concurrently
inserting a new pack file and its index.
Bug: Issue 13544
Change-Id: I7266f7b0c164826140726b939a647489902633b9
m--------- | modules/jgit | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/modules/jgit b/modules/jgit -Subproject a79c5b1f1046f4b41928bc40ab433155168dacc +Subproject ad902087820c1b2b3147b45ffbac4e3804274f9 |