Merge branch 'stable-2.15' into stable-2.16 * stable-2.15: Upgrade JGit to 4.9.10.201904181027-r Upgrade JGit to 4.7.9.201904161809-r Change-Id: Ief5e25c15f7c4aae8c89ed08bd366994219bc3ab