Renaming a Gitolite Repository Revision as of Tuesday, 3 June 2025 at 19:29 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.