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