Update to JGit 4.0.2

James Moger

2015-09-18 610bd82842e032bcaacaea6c718ea26af8cc6a09

1
2
3
4
[user "admin"]
    password = admin
    role = "#admin"
    role = "#notfederated"