Merge "Upgrade JGit to v5.6.0.201912041214-rc1" into stable-3.1