Renaming a Gitolite RepositoryRevisionas of Monday, 21 December 2015 at 02:30 UTC

  • Rename the repo on the server

 ssh gitserver
 
 # This is usually /home/git/repositories
 cd $REPO_BASE
 
 mv old_repo new_repo

  • Rename the repo in gitolite.conf and push to server.

Fin.