Merge branch 'stable-3.0' * stable-3.0: Upgrade JGit to 5.3.6.201910020505-r Change-Id: Ic4813787edfd48e49cfd058348e324de89bb05fc