Deleting Git Repository Gitolite?

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.

Nope! That's all you have to do!

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:

• Admin enables the D command by removing the appropriate commented line (on the server) in $HOME/.gitolite.rc
• Unlocking the repository (safety procedure) "ssh gitolite@hostname D unlock reponame"
• Deleteing the repository with "ssh gitolite@hostname D rm reponame"

Some simple documentation can be found in the Gitolite docs but the documentation is better in the book "Gitolite Essentials".