tree abe45782e87d7ce00bc1710c287e3729eb73ffff
parent 7e22ca2291656d1949f56ed1cdc00f0a54267656
author Matthias Sohn <matthias.sohn@sap.com> 1606392553 +0100
committer Matthias Sohn <matthias.sohn@sap.com> 1606392553 +0100

Upgrade JGit to 5.1.14.202011251942-r

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.

Release Notes:
https://projects.eclipse.org/projects/technology.jgit/releases/5.1.14

Bug: Issue 13544
Change-Id: Ieeb5a883bcb487a4d45f299aec5b31475002cdd3