Browse Source

Added note (from Bastien) regarding immediate update following git push

Phil Hudson 5 years ago
parent
commit
e8858bfac6
1 changed files with 5 additions and 0 deletions
  1. 5 0
      worg-git.org

+ 5 - 0
worg-git.org

@@ -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.