From 652c593dc999a830909a79bfe0aa080bf16badda Mon Sep 17 00:00:00 2001
From: David Pursehouse <dpursehouse@collab.net>
Date: Thu, 7 Nov 2019 16:21:56 +0900
Subject: [PATCH] Upgrade JGit to latest master revision

Includes the following commits. There is nothing that we particularly
need; this is just to keep up to date with the latest revision.

6bae5a88b - Upgrade maven-jar-plugin to 3.2.0
5220e1801 - Upgrade maven-source-plugin to 3.2.0
d36488ad2 - Fix benchmark pom.xml to include distribution managment config
452c38cd2 - Run JMH benchmarks using bazel
06de3a1dd - Benchmark for creating files and FileSnapshots
25a611ccc - Implement benchmark for looking up FileStore of a given Path
9a638b08d - JMH benchmark for SimpleLruCache
9328236cf - Update API problem filters
5b7be296d - Remove unused API problem filters
6d407fe72 - Silence API errors for new API added since 5.1.0
e8c361906 - DirCacheCheckout: don't use deprecated method
64f2407f1 - WorkingTreeModifiedEvent: must be fired explicitly after merge
7c75a68b9 - reftable: enforce ascending order in sortAndWriteRefs
b7d1eb418 - HttpSupport.proxyFor(): use only scheme, host, and port
cf11a03bc - Documentation/technical/reftable: change suggested file names
b4e5ae3b3 - Update Orbit to S20191025144108 and Ant to 1.10.7.v20190926-0324
50e9de62d - Update Tycho to 1.5.1
333c20aa4 - Upgrade Jetty to 9.4.22.v20191022

Change-Id: I25e39b22f9461c1c38b368e147f0652d862793dd
---
 modules/jgit | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/jgit b/modules/jgit
index 078500ef1c..6bae5a88bc 160000
--- a/modules/jgit
+++ b/modules/jgit
@@ -1 +1 @@
-Subproject commit 078500ef1c28bfd4a19cafe889f485d7861b7518
+Subproject commit 6bae5a88bc4583e00d1a47758956eae2b5d59e4c