Bump to JGit 4.0.0

Luca Milanesio

2015-06-12 a1cee65c7242f69f7e35978d98cea391095d7225

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