Merged #205 "Update to JGit 3.5.1"

James Moger

2014-10-14 e10ac6e91b1062c74b800df4aa3f8fbcf7e18243

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