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