Merge branch 'stable-2.13' into stable-2.14

* stable-2.13:
  Set version to 2.13.13
  Upgrade JGit to 4.5.6.201903121547-r
  Consume JGit artifacts from Maven Central

Change-Id: I18ea1fd9ceaf158467ffbe6fe91685b67a70ce24