Add new configuration setting 'git.userRepositoryPrefix'.

Florian Zschocke

2013-08-22 df75fa3a0961fc6a539209d5f13788d64b109a34

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