diff options
author | Matthias Sohn <matthias.sohn@sap.com> | 2020-12-02 13:53:11 +0100 |
---|---|---|
committer | Matthias Sohn <matthias.sohn@sap.com> | 2020-12-02 13:53:11 +0100 |
commit | 7ca02ac596ce4857a9e5d1701b3be921f88e8dd9 (patch) | |
tree | 6744bb0dfac6f963acb72281f446bfabfdc792bc | |
parent | e10c2627b137a258820c3f1a6fb5522c3236f824 (diff) |
Update JGit to 5.3.9.202012012026-r
This version fixes a bug occurring when processing a fetch request and
running gc concurrently.
Bug: https://bugs.eclipse.org/bugs/show_bug.cgi?id=569349
Change-Id: I6aa23a9ac75a059156ee26b5a4e72bab676b7655
-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 47fc643fe1..519d6edb35 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.8.202011260953-r" +_JGIT_VERS = "5.3.9.202012012026-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 = "f34c7c9e0ffaf8ba9e5af00e299e51f70931a833", + sha1 = "b6d3af64d2538db1c25ee8cf9f2346fd8663321b", ) maven_jar( name = "jgit-servlet", artifact = "org.eclipse.jgit:org.eclipse.jgit.http.server:" + _JGIT_VERS, repository = _JGIT_REPO, - sha1 = "f9517712c741660cd199311a4eb27584dd8d03f6", + sha1 = "1f68350b98cbbd9a5219ad5827b3aa6c46a15dea", ) maven_jar( name = "jgit-archive", artifact = "org.eclipse.jgit:org.eclipse.jgit.archive:" + _JGIT_VERS, repository = _JGIT_REPO, - sha1 = "9adac724af047dfaa1e9061eeb34fbb14ebaefa9", + sha1 = "7a4bf3ac728274129acf8c13c11b66199808eb20", ) maven_jar( name = "jgit-junit", artifact = "org.eclipse.jgit:org.eclipse.jgit.junit:" + _JGIT_VERS, repository = _JGIT_REPO, - sha1 = "1c2dc9a93b30e3a6fb1fadb589f01f29343ec7d8", + sha1 = "dd8a2b2cd0b65ee00c260d1a1e7ed33aed951c69", ) def jgit_dep(name): |