Merge branch 'stable-3.0' into stable-3.1

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

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