Added note (from Bastien) regarding immediate update following git push master
authorPhil Hudson <phil.hudson@iname.com>
Tue, 19 May 2015 09:45:41 +0000 (10:45 +0100)
committerPhil Hudson <phil.hudson@iname.com>
Tue, 19 May 2015 09:45:41 +0000 (10:45 +0100)
worg-git.org

index 13efa4d..3821c2b 100644 (file)
@@ -70,6 +70,11 @@ If you want to contribute to Worg, keep reading.
 
      : ~$ git push
 
+   The system is designed for immediate updates -- if not, it means
+   something is wrong.  You should be able to read the error message
+   and see what is wrong, then help with fixing issues.  In general
+   the issues are trivial to fix.
+
 * The second time you contribute to Worg
 
 1. Go to your =worg/= directory.