Merge branch 'stable-2.9' into stable-2.10

* stable-2.9:
  Upgrade JGit to 4.5.5.201812240535-r

Change-Id: Iccd292df6484376463f5955b085d9d18dca271f1