Deleting Git Repository Gitolite?

21,365

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".

Share:
21,365
ryanzec
Author by

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, 2020

Comments

  • ryanzec
    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?