Merge branch 'stable-2.16' into stable-3.0

* stable-2.16:
  Upgrade JGit to 5.1.13.202002110435-r

Change-Id: Ie8a416112326e5dc985cbe6cd5f807133059c280