Upgrade JGit to 0.5.0-83-g93a581d
Upgrade JGit to 0.5.0-83-g93a581d

A 'tagged' version which contains the APIs we need.

Signed-off-by: Shawn O. Pearce <f3ea74d906fa9fe97c1fef6bad9cb871485c7045@google.com>
Reviewed-by: Grzegorz Kossakowski <94bb8817547ff482e058944c32407075c017c605@google.com>

gkossakowski/gimd