From cc28f8c59c18eba0d089454422135ce53efc4ba7 Mon Sep 17 00:00:00 2001
From: bernie <bernie@18.85.46.35>
Date: Tue, 9 Oct 2007 01:24:21 +0200
Subject: [PATCH] Edit page GeekiGeeki

---
 GeekiGeeki | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/GeekiGeeki b/GeekiGeeki
index 8f35cf8..d651c80 100644
--- a/GeekiGeeki
+++ b/GeekiGeeki
@@ -39,6 +39,20 @@ The easiest way is:
  * customize the wiki through geekigeeki.conf.py
  * reload Apache
 
+==== Update procedure ====
+
+If you cloned the repository as suggested, updating and downgrading is very easy:
+
+{{{
+git-pull
+}}}
+
+to switch to a different version of GeekiGeeki:
+
+{{{
+git-checkout <tag>
+}}}
+
 ==== Contributing ====
 
 Please send your patches!  See the GeekiGeekiToDo list for ideas.
-- 
2.25.1