Ensure repository indexes are properly closed before deletion

James Moger

2012-03-19 8e9988c38cae55932cf707857fa8a06943e01d15

1
2
3
4
5
6
[user "admin"]
    password = admin
    role = "#admin"
    role = "#notfederated"
[team "admins"]
    user = admin