diff --git a/doc/3-faq-tips-etc.mkd b/doc/3-faq-tips-etc.mkd
index e59015f..7f47751 100644
--- a/doc/3-faq-tips-etc.mkd
+++ b/doc/3-faq-tips-etc.mkd
@@ -22,6 +22,7 @@ In this document:
* disabling write access to take backups
* INconvenience features
* deleting a repo
+ * renaming a repo
* helping with gitweb
* easier to link gitweb authorisation with gitolite
* umask setting
@@ -379,6 +380,20 @@ do:
* *then* remove the repo from `~/repositories` on the server (or whatever
you set `$GL_REPO_BASE` to in the `~/.gitolite.rc`)
+
+
+##### renaming a repo
+
+This is similar; there's no code to do this in gitolite. What you do is:
+
+ * log on to the server, `cd $REPO_BASE` (default: `cd ~/repositories`), and
+ `mv old-name.git new-name.git`
+ * back on your gitolite-admin clone, edit `conf/gitolite.conf` and replace
+ all occurrences of `old-name` with `new-name`. Then add, commit, and push
+ as usual.
+
+The order of these 2 steps is important; do not reverse them :-)
+
#### helping with gitweb