Merge branch 'stable-3.1'

* stable-3.1:
  Upgrade JGit to 5.8.0.202006091008-r
  Upgrade JGit to 5.1.13.202002110435-r
  Upgrade JGit to 5.3.7.202002110540-r

Change-Id: I41041f32870103388fd1c4f0c460d544bbf022dc

external_plugin_deps.bzl

diff --git a/external_plugin_deps.bzl b/external_plugin_deps.bzl
index 4bae28b..077599a 100644
--- a/external_plugin_deps.bzl
+++ b/external_plugin_deps.bzl
@@ -100,8 +100,8 @@
     maven_jar(
         name = "jgit",
         artifact =
-            "org.eclipse.jgit:org.eclipse.jgit:5.5.1.201910021850-r",
-        sha1 = "e0ba7a468e8c62da8521ca3a06a061d4dde95223",
+            "org.eclipse.jgit:org.eclipse.jgit:5.8.0.202006091008-r",
+        sha1 = "1d8b1a904ae018e9973f6bd92f71065c629393e3",
     )
 
     maven_jar(