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
This commit is contained in: