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: I136fdb3a1ef5567ca6f8c279e9d29727773c62b9