Merge branch 'stable-2.14' into stable-2.15

* stable-2.14:
  Upgrade JGit to 4.7.7.201812240805-r

Change-Id: Ib8162a84b4ed845a4b7fcc0e4ea122902e9f5f83