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?
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?
Deleting the repository from the server and removing all configurations is all you have to do.
Quoting from the manual:
Removing a repo is not so straightforward. You certainly must remove the appropriate lines from the conf/gitolite.conf file, but gitolite will not automatically delete the repo from the server. You have to log on to the server and do the dirty deed yourself :-)
It is best to make the change in the conf file, push it, and then go to the server and do what you need to.
Actually there is another more formal way to do this through the Apis. This is a more practical way when giving away to users the privilige to create their own repos (wild repos).
This requires:
Some simple documentation can be found in the Gitolite docs but the documentation is better in the book "Gitolite Essentials".