Renaming a Gitolite Repository Revision as 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.