Merge branch 'stable-2.15' into stable-2.16 * stable-2.15: Upgrade JGit to 4.11.8.201904181247-r Change-Id: I3b242447b73a251a1f7272c523eb2f95f4128b15