Merge pull request #1073 from gitblit/1062-DocEditorUpdates

Paul Martin

2016-04-30 a502d96a860456ec5e8c96761db70f7cabb74751

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