diff options
author | David Pursehouse <dpursehouse@collab.net> | 2019-01-18 19:40:56 +0900 |
---|---|---|
committer | David Pursehouse <dpursehouse@collab.net> | 2019-01-18 19:40:56 +0900 |
commit | 5c6e69a7430ec0bf25178176ec932d8eeb48325b (patch) | |
tree | 399496b2a4948593e0787c3f8fc78aab73b6a0a6 | |
parent | decc35ef4aef9092fdf294ff2de44b05c397107c (diff) |
Consume JGit artifacts from Maven Central
The recent JGit releases were published to the Eclipse repository
due to a security embargo. The embargo has since been lifted, and
the releases are available on Maven Central, so switch back to
consuming the artifacts from there.
Change-Id: I054cc91f410451fe2f3da5b3c8274d8b5890a3bf
-rw-r--r-- | lib/jgit/BUCK | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/jgit/BUCK b/lib/jgit/BUCK index 8c9e1c6af9..9a94085a24 100644 --- a/lib/jgit/BUCK +++ b/lib/jgit/BUCK @@ -1,6 +1,6 @@ include_defs('//lib/maven.defs') -REPO = ECLIPSE # Leave here even if set to MAVEN_CENTRAL. +REPO = MAVEN_CENTRAL # Leave here even if set to MAVEN_CENTRAL. VERS = '4.5.5.201812240535-r' maven_jar( |