commit bb4d63daeb06ba54d112f0bac604a6843bf61c98
author David Pursehouse <dpursehouse@collab.net> Sat May 25 15:46:26 2019 +0900
committer David Pursehouse <dpursehouse@collab.net> Sat May 25 17:24:58 2019 +0900
tree e47530cfebf0f3fc1e982bbb044135938dbf6d4f
parent 21e70b7cd9e4f65347e7354f214f89b16b9eceff

Upgrade JGit to 5.3.1.201904271842-r

This aligns with the version used on Gerrit's stable-3.0 and
master branches.

Change-Id: I19ffc7b4a6c84ad5b41ee8f56d245600698ffd36

WORKSPACE

diff --git a/WORKSPACE b/WORKSPACE
index 5255a9a..1d6e531 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -152,7 +152,7 @@
     sha1 = "198ea005f41219f038f4291f0b0e9f3259730e92",
 )
 
-JGIT_VERS = "5.2.0.201812061821-r"
+JGIT_VERS = "5.3.1.201904271842-r"
 
 JGIT_REPO = MAVEN_CENTRAL
 
@@ -160,28 +160,28 @@
     name = "jgit-lib",
     artifact = "org.eclipse.jgit:org.eclipse.jgit:" + JGIT_VERS,
     repository = JGIT_REPO,
-    sha1 = "250269f30458084777a480895e390d2a42143da3",
+    sha1 = "dba85014483315fa426259bc1b8ccda9373a624b",
 )
 
 maven_jar(
     name = "jgit-servlet",
     artifact = "org.eclipse.jgit:org.eclipse.jgit.http.server:" + JGIT_VERS,
     repository = JGIT_REPO,
-    sha1 = "5d7fbe1c8528d881e2987c75e512df2cfa408d73",
+    sha1 = "3287341fca859340a00b51cb5dd3b78b8e532b39",
 )
 
 maven_jar(
     name = "jgit-junit",
     artifact = "org.eclipse.jgit:org.eclipse.jgit.junit:" + JGIT_VERS,
     repository = JGIT_REPO,
-    sha1 = "723b9e6c54f8b3012dd7d4fe42b616b8d10ee230",
+    sha1 = "3d9ba7e610d6ab5d08dcb1e4ba448b592a34de77",
 )
 
 maven_jar(
     name = "jgit-archive",
     artifact = "org.eclipse.jgit:org.eclipse.jgit.archive:" + JGIT_VERS,
     repository = JGIT_REPO,
-    sha1 = "6e49b0516b46ca90d394256d40c6069cdd8f2957",
+    sha1 = "3585027e83fb44a5de2c10ae9ddbf976593bf080",
 )
 
 maven_jar(