commit | 09deb21d7a35a2736b181cf2da0623eda94deb21 | [log] [tgz] |
---|---|---|
author | David Pursehouse <dpursehouse@digital.ai> | Mon Jun 22 12:39:22 2020 +0900 |
committer | David Pursehouse <dpursehouse@digital.ai> | Mon Jun 22 12:39:22 2020 +0900 |
tree | 685bd3d172fa2db01f7784ff1bdaf890a60f89d4 | |
parent | 4816b142e42898f95e6a56282e0005c8f005baf9 [diff] |
Upgrade JGit to 5.8.0.202005061305-m2 This aligns with the version used in Gerrit 3.2.2. The artifacts are not available from maven central, so consume them from the Eclipse repo. Change-Id: I3dd06797dee49a6be9e88e746c5892c0dec07048