Edit page GeekiGeeki
authorbernie <bernie@18.85.46.35>
Mon, 8 Oct 2007 23:24:21 +0000 (01:24 +0200)
committerPiki Plus <webmaster@codewiz.org>
Mon, 8 Oct 2007 23:24:21 +0000 (01:24 +0200)
GeekiGeeki

index 8f35cf88f5d1216b434ee9d186acb1e9f77dc18d..d651c80dcd46b7c77046397ab7d90a9310d032d3 100644 (file)
@@ -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.