diff options
Diffstat (limited to 'lib/jgit/jgit.bzl')
-rw-r--r-- | lib/jgit/jgit.bzl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/jgit/jgit.bzl b/lib/jgit/jgit.bzl index 6ee9c29740..971476768c 100644 --- a/lib/jgit/jgit.bzl +++ b/lib/jgit/jgit.bzl @@ -2,7 +2,11 @@ load("//tools/bzl:maven_jar.bzl", "MAVEN_CENTRAL", "maven_jar") _JGIT_VERS = "5.1.16.202106041830-r" -_DOC_VERS = _JGIT_VERS # Set to _JGIT_VERS unless using a snapshot +_DOC_VERS = "5.1.15.202012011955-r" # Set to _JGIT_VERS unless using a snapshot +# TODO: workaround to be removed when merging upstream: +# 5.1.16.202106041830-r has been removed while +# 5.1.15.202012011955-r is available and has the same +# interface and docs JGIT_DOC_URL = "https://archive.eclipse.org/jgit/site/" + _DOC_VERS + "/apidocs" |