Renaming a Gitolite Repository Revision as of Sunday, 20 December 2015 at 19: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.