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