Merge branch 'stable-3.1'

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

Change-Id: I41041f32870103388fd1c4f0c460d544bbf022dc