Merge branch 'stable-2.14' into stable-2.15

* stable-2.14:
  Upgrade JGit to 4.7.7.201812240805-r

Change-Id: Ifb4411c72a8d2d5c124b4658bcd97d0a133816a8