diff options
| author | Luca Milanesio <luca.milanesio@gmail.com> | 2021-11-18 23:24:04 +0000 |
|---|---|---|
| committer | Luca Milanesio <luca.milanesio@gmail.com> | 2021-11-18 23:25:49 +0000 |
| commit | 64bb26bf401365de71690d1a87a2286752b8e987 (patch) | |
| tree | db8a00fa0a507da688dd853f0b66976c12d171b6 | |
| parent | 1198369f61fdadd2a45e0238d9b63f6a2e4e13ff (diff) | |
Use JGit 5.1.15.202012011955-r javadoc to resume release build
The javadoc site for 5.1.16 is not available anymore on the
Eclipse's archive site: use the earlier version to resume the
ability to release Gerrit.
Change-Id: Ib1edf0cdefbed16a87a3187b33c0c4396a89e16f
| -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" |