Merge branch 'stable-2.15' into stable-2.16

* stable-2.15:
  Upgrade JGit to 4.11.8.201904181247-r

Change-Id: I3b242447b73a251a1f7272c523eb2f95f4128b15