(Thanks to Mirko for asking something that made me think about this).
Right now, if you had this:
repo foo bar
... rules ...
and then subsequently you removed 'foo' from it, people can still
access the repo.
The reason I chose to allow that was that, since [2] clearly says you
have to delete the repo from the disk also, if the admin did not do
that it was probably a typo or fat-fingering something in the conf
file.
But it is also possible that the admin thought removing it from conf
is sufficient to remove access, and wished to delay the actual
deletion to some later date, since that is a bigger decision.
Question/poll is this: should we leave it as it is, or should we err
on the side of caution and make it inaccessible?
[1]:
http://sitaramc.github.com/gitolite/emergencies.html#ue
[2]:
http://sitaramc.github.com/gitolite/repos.html
--
Sitaram