diff options
| author | Luca Milanesio <luca.milanesio@gmail.com> | 2020-11-12 15:41:52 +0000 |
|---|---|---|
| committer | Luca Milanesio <luca.milanesio@gmail.com> | 2020-11-12 20:02:28 +0000 |
| commit | e918bfd391a9743fdaee62e8a63c5f4373d34dc1 (patch) | |
| tree | 888931c5152853db327918e2f38757ac8ce96860 | |
| parent | 269ad8a2031106a3d7448eac0e4588be573c3731 (diff) | |
Fetch JGit documentation from the archive site
Change-Id: I8e78f5064fda7c2ff73134f6ac3d681c6be2e7d1
| -rw-r--r-- | lib/jgit/jgit.bzl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/jgit/jgit.bzl b/lib/jgit/jgit.bzl index 141b293b66..74e63cbd13 100644 --- a/lib/jgit/jgit.bzl +++ b/lib/jgit/jgit.bzl @@ -4,7 +4,7 @@ _JGIT_VERS = "4.11.9.201909030838-r" _DOC_VERS = _JGIT_VERS # Set to _JGIT_VERS unless using a snapshot -JGIT_DOC_URL = "https://download.eclipse.org/jgit/site/" + _DOC_VERS + "/apidocs" +JGIT_DOC_URL = "https://archive.eclipse.org/jgit/site/" + _DOC_VERS + "/apidocs" _JGIT_REPO = MAVEN_CENTRAL # Leave here even if set to MAVEN_CENTRAL. |