Browse Source

Detail the process to contribute to the Worg repository

Bastien 7 months ago
parent
commit
9672c40e5c
1 changed files with 8 additions and 6 deletions
  1. 8 6
      worg-git.org

+ 8 - 6
worg-git.org

@@ -67,14 +67,16 @@ If you want to contribute to Worg, keep reading.
 
    : ~$ git commit -a -m "summary comment about all changes"
 
-9. Push your change to Worg:
+9. Ask =bzg AT gnu.org= to be added as a collaborator on the Worg repo.
 
-     : ~$ git push
+10. When you are a collaborator, push your change to Worg:
 
-   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.
+      : ~$ 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