Merge branch 'stable-2.15' into stable-2.16

* stable-2.15:
  Upgrade JGit to 4.9.8.201812241815-r
  Upgrade JGit to 4.7.7.201812240805-r

Change-Id: I2a4e8ff6c7672b40a6b33f270a92586eaa283852