tree 34c3371275d2eb5f36aa9dfbcfa0843af8a8e8fb
parent a5fe3c44d755b97b1c880575ce2ecc5b873cb74b
author David Pursehouse <dpursehouse@collab.net> 1537338932 +0900
committer David Pursehouse <dpursehouse@collab.net> 1537339351 +0900

Upgrade JGit to 5.1.1.201809181055-r

This release introduces some more deprecations, which are not fixed
in this commit but will be addressed in follow-ups.

Change-Id: I13acd56e95410ab23dddb8883ad530d427a00c89