I am wondering what the proper way is to delete a repository when using gitolite.
Is there anything else I have to do besides delete the repository from the server and remove all configurations related to the repository I am removing?
Nope! That's all you have to do!