Upgrade JGit to v5.7.0.202001151323-m1-35-g730b7a5eb

Includes the following commits:

003e4cfc2 - Prepare 5.3.8-SNAPSHOT builds
0c3b42509 - JGit v5.3.7.202002110540-r
425e2607f - Prepare 5.1.14-SNAPSHOT builds
e0abe9e2a - JGit v5.1.13.202002110435-r
79266a1fe - reftable: don't check deadline on the first try
936a031ca - reftable: clarify comment
8c9f7656c - reftable: clear cache on full compaction
dd203f03c - reftable: remove outdated comment
0bf256443 - reftable: clarify that LogCursor may return a null ReflogEntry
9d1e47741 - Use lambdas where possible
614d8a15b - Upgrade maven-pmd-plugin to 3.13.0
75a80c5d3 - Restore behavior of CloneCommand
708525c67 - Include org.apache.commons.codec 1.13 in the JGit http.apache.feature

There are no commits that we specifically need; this is just to keep
up-to-date with the latest head of upstream's master branch.

Change-Id: I357caec591f6cf40581cbac6a7d94ac8fb968aee
This commit is contained in:
David Pursehouse 2020-02-12 10:46:18 +09:00
parent aee6355a67
commit 0f967ab387

@ -1 +1 @@
Subproject commit 730b7a5ebf149e8df085a19ce4d4eddcea5958dd
Subproject commit ffb0a644641cd5b9ae13a51c68f202a94a8f1207