Menu
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?
809
On GitHub.com, navigate to the main page of the repository. Under your repository name, click Settings. Under Danger Zone, click Delete this repository.
To do so using SSH, you would need to execute the appropriate command – rm. This will match all files starting with 'myFile' and ending in '. txt' and delete them.
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.
55
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With
