diff options
author | Matthias Sohn <matthias.sohn@sap.com> | 2020-11-26 23:57:30 +0100 |
---|---|---|
committer | Matthias Sohn <matthias.sohn@sap.com> | 2020-11-26 23:57:30 +0100 |
commit | 401e01fd0605689129a159dc8188c0ebf91cdf31 (patch) | |
tree | d6113ef5c146c8bc90f3b31a759545678a8f502b | |
parent | 6bc2968730080e9f195c7dffee70af59cf581260 (diff) |
Upgrade JGit to 5.3.8.202011260953-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: I81272f4cac9923b63b0966bcf227325efbf7d0e9
-rw-r--r-- | lib/jgit/jgit.bzl | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/jgit/jgit.bzl b/lib/jgit/jgit.bzl index db0e1e153f..47fc643fe1 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.3.7.202002110540-r" +_JGIT_VERS = "5.3.8.202011260953-r" _DOC_VERS = _JGIT_VERS # Set to _JGIT_VERS unless using a snapshot @@ -40,25 +40,25 @@ def jgit_maven_repos(): name = "jgit-lib", artifact = "org.eclipse.jgit:org.eclipse.jgit:" + _JGIT_VERS, repository = _JGIT_REPO, - sha1 = "b1714d4917750d6fad0d19d3b0e258b373db819a", + sha1 = "f34c7c9e0ffaf8ba9e5af00e299e51f70931a833", ) maven_jar( name = "jgit-servlet", artifact = "org.eclipse.jgit:org.eclipse.jgit.http.server:" + _JGIT_VERS, repository = _JGIT_REPO, - sha1 = "cf61e6e00a758a6f33995e53883aede76d3b2400", + sha1 = "f9517712c741660cd199311a4eb27584dd8d03f6", ) maven_jar( name = "jgit-archive", artifact = "org.eclipse.jgit:org.eclipse.jgit.archive:" + _JGIT_VERS, repository = _JGIT_REPO, - sha1 = "3c0b259040d3bc3a9e884a301055cf4f2e1bb1e2", + sha1 = "9adac724af047dfaa1e9061eeb34fbb14ebaefa9", ) maven_jar( name = "jgit-junit", artifact = "org.eclipse.jgit:org.eclipse.jgit.junit:" + _JGIT_VERS, repository = _JGIT_REPO, - sha1 = "f78409fb808c5a108c629ec3cba74cc6c14ebff2", + sha1 = "1c2dc9a93b30e3a6fb1fadb589f01f29343ec7d8", ) def jgit_dep(name): |