Deleting Git Repository Gitolite?
Solution 1
Nope! That's all you have to do!
Solution 2
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.
Solution 3
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".
ryanzec
A software engineer for severals years in web development with PHP/MySQL now focusing on front-end development with HTML, CSS, and JavaScript (AngularJS). Also and inspiring game developer using the Unity game engine.
Updated on October 23, 2020Comments
-
ryanzec over 3 years
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?