Edit page GeekiGeeki

diff --git a/GeekiGeeki b/GeekiGeeki
index 8f35cf88f5d1216b434ee9d186acb1e9f77dc18d..d651c80dcd46b7c77046397ab7d90a9310d032d3 100644 (file)
--- a/GeekiGeeki
+++ b/GeekiGeeki
@@ -39,6 +39,20 @@ The easiest way is:
  * customize the wiki through geekigeeki.conf.py
  * reload Apache
 
  * 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.
 ==== Contributing ====
 
 Please send your patches!  See the GeekiGeekiToDo list for ideas.