Patch Set 4: Looks good to me, but someone else must approve; No score

You're my hero Matthias, this works well.

I'd advise that we call things "JGit" instead of "Java Git"? Can you make the necessary modifications and then we can push it and get a fresh build.

This is exciting!