diff options
author | Matthias Sohn <matthias.sohn@sap.com> | 2020-11-26 13:09:13 +0100 |
---|---|---|
committer | Matthias Sohn <matthias.sohn@sap.com> | 2020-11-26 13:09:13 +0100 |
commit | ac1f09139cd665e29f4d4b2a50e3004c76f92eee (patch) | |
tree | abe45782e87d7ce00bc1710c287e3729eb73ffff | |
parent | 7e22ca2291656d1949f56ed1cdc00f0a54267656 (diff) |
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
-rw-r--r-- | lib/jgit/jgit.bzl | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/lib/jgit/jgit.bzl b/lib/jgit/jgit.bzl index 997879edf1..841b13e231 100644 --- a/lib/jgit/jgit.bzl +++ b/lib/jgit/jgit.bzl @@ -1,6 +1,6 @@ load("//tools/bzl:maven_jar.bzl", "MAVEN_CENTRAL", "maven_jar") -_JGIT_VERS = "5.1.13.202002110435-r" +_JGIT_VERS = "5.1.14.202011251942-r" _DOC_VERS = _JGIT_VERS # Set to _JGIT_VERS unless using a snapshot @@ -40,28 +40,28 @@ def jgit_maven_repos(): name = "jgit-lib", artifact = "org.eclipse.jgit:org.eclipse.jgit:" + _JGIT_VERS, repository = _JGIT_REPO, - sha1 = "dc99e6ef37038090561bd5253c71b150791bea58", - src_sha1 = "882b62cac802a26e5fe383cd1a16f8b2d557e2fe", + sha1 = "f962f10e9aac2c476eac02e6d37cf8ee9a101958", + src_sha1 = "afa2ff384db5b4a3dc75b0ef2f127d5ef474d635", unsign = True, ) maven_jar( name = "jgit-servlet", artifact = "org.eclipse.jgit:org.eclipse.jgit.http.server:" + _JGIT_VERS, repository = _JGIT_REPO, - sha1 = "5860d7828839db9a41b664488540704f783d0280", + sha1 = "b7c6e973495c75f2de8f837fac213c6b1d9a9860", unsign = True, ) maven_jar( name = "jgit-archive", artifact = "org.eclipse.jgit:org.eclipse.jgit.archive:" + _JGIT_VERS, repository = _JGIT_REPO, - sha1 = "fb8538a090daa5dfb6674cdf860dd34d6a4078ed", + sha1 = "4331d91515347e416d914a90299f6d6070599efc", ) maven_jar( name = "jgit-junit", artifact = "org.eclipse.jgit:org.eclipse.jgit.junit:" + _JGIT_VERS, repository = _JGIT_REPO, - sha1 = "1e45351d6c19f65135ee4b693c0346772307671d", + sha1 = "5fd2a105454dd8b4834a37667ec12111d691167a", unsign = True, ) |