Matthias Sohn d68c1bba9d Update JGit to 5.0.1.201806211838-r ...

Fixes:
- 'Respect "unshallow" lines in protocol v2'

Release notes:
https://projects.eclipse.org/projects/technology.jgit/releases/5.0.1/review

Change-Id: I01d8083dc355124bf3809bed2e9f0a954f100c20

2018-06-23 01:02:09 +02:00

..

org.eclipse.jgit

Bazel: Harmonize names of external repositories

2018-06-13 11:38:03 +09:00

org.eclipse.jgit.archive

Bazel: Harmonize names of external repositories

2018-06-13 11:38:03 +09:00

org.eclipse.jgit.http.server

Bazel: Harmonize names of external repositories

2018-06-13 11:38:03 +09:00

org.eclipse.jgit.junit

Bazel: Harmonize names of external repositories

2018-06-13 11:38:03 +09:00

BUILD

Simplify local JGit development

2017-03-24 08:36:18 +09:00

jgit.bzl

Update JGit to 5.0.1.201806211838-r

2018-06-23 01:02:09 +02:00