From dea2253193f134c9a35de9ef50962a2907fd473a Mon Sep 17 00:00:00 2001
From: Rasmus Dahlberg <rasmus@mullvad.net>
Date: Wed, 13 Apr 2022 11:00:09 +0200
Subject: add repo rename notes from ln5

---
 wiki/cgit-rename-repo.md | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 wiki/cgit-rename-repo.md

diff --git a/wiki/cgit-rename-repo.md b/wiki/cgit-rename-repo.md
new file mode 100644
index 0000000..b77ecbf
--- /dev/null
+++ b/wiki/cgit-rename-repo.md
@@ -0,0 +1,27 @@
+# Rename a repository
+The below example is for the renaming of "toolbox" --> "admin".
+
+## Steps
+
+1. Make sure the repo does not have the sync-to-mirrors post-receive hook, since
+   that might mess up things
+   - gitolite.conf: remove repo from @sigsum_repos
+   - commit and push
+2. Rename repo on the server and remove gl-conf, which will be regenerated
+   in step 3
+   - git@getuid:~/repositories$ mv toolbox.git admin.git
+   - git@getuid:~/repositories$ rm admin.git/gl-conf
+3. Rename repo in the config
+   - edit gitolite.conf
+   - commit and push
+4. Add the repo back to @sigsum_repos, to undo step 1
+   - edit gitolite.conf
+   - commit and push
+5. Fix the remote url for mirror-github to reflect new name
+   - git@getuid:~/repositories$ vi admin.git/config
+
+(To fix GH mirroring, the appropriate renaming must also happen there.)
+
+## Credit
+
+  - https://gitolite.com/gitolite/basic-admin.html#removingrenaming-a-repo
-- 
cgit v1.2.3