Merge branch 'stable-3.1'

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

Change-Id: Ib3a4d9b19ae5f4088cc7ad34ff1a159139357d36
tree: a754cf316304314595043e52c35be5a9515fd8c1
  1. .settings/
  2. src/
  3. .bazelignore
  4. .bazelversion
  5. bazlets.bzl
  6. BUILD
  7. LICENSE