Merge branch 'stable-3.0'

* stable-3.0:
  Upgrade JGit to 5.3.6.201910020505-r

Change-Id: Ic4813787edfd48e49cfd058348e324de89bb05fc