Renaming a Gitolite RepositoryRevisionas of Sunday, 27 December 2015 at 09:56 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.