David Pursehouse 53cfbc7697 Upgrade JGit to v5.8.0.202006091008-r ...

There is no functional change from the currently used version. The
only new commit is the one that sets the version:

8e79d5a29 - JGit v5.8.0.202006091008-r

Change-Id: I1a4e3b03ec3c7ea358ecd61eed80ecd83e7b5b22

2020-06-19 08:27:34 +09:00

..

jgit @ 8e79d5a290

Upgrade JGit to v5.8.0.202006091008-r

2020-06-19 08:27:34 +09:00