Deleting Git Repository Gitolite?

git version-control gitolite
ryanzec picture ryanzec · Apr 22, 2011 · Viewed 20.8k times · Source

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?

Answer

Potherca picture Potherca · May 30, 2012

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.

Related questions

How do I undo the most recent local commits in Git?

I accidentally committed the wrong files to Git, but didn't push the commit to the server yet. How can I undo those commits from the local repository?

Read More
How do I delete a Git branch locally and remotely?

I want to delete a branch both locally and remotely. Failed Attempts to Delete a Remote Branch $ git branch -d remotes/origin/bugfix error: branch 'remotes/origin/bugfix' not found. $ git branch -d origin/bugfix error: branch 'origin/bugfix' not …

Read More
How do I force "git pull" to overwrite local files?

How do I force an overwrite of local files on a git pull? The scenario is the following: A team member is modifying the templates for a website we are working on They are adding some images to the images …

Read More