Upgrade JGit to 4.8.0.201706111038-r

Change-Id: I8ca529104a00e08a13bb25bef4db0c16029dad06
2 files changed
tree: a9c8e990b0b55fe45c01b088f33f28fa59f761c3
  1. src/
  2. tools/
  3. .gitignore
  4. bazlets.bzl
  5. BUILD
  6. external_plugin_deps.bzl
  7. WORKSPACE