Merged #85 "Tag server-side merges when incremental push tags are enabled"

James Moger

2014-05-23 c51db7be8f6f48ddebff5053915be68f77e3fc94

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