Merge branch 'stable-2.14' into stable-2.15

* stable-2.14:
  Upgrade JGit to 4.7.9.201904161809-r

Change-Id: Ic68b1d04b1d48de395ae36df7bf4fc38ebba8b73