summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2007-08-09 02:06:09 +0200
committerThomas Schwinge <tschwinge@gnu.org>2007-08-09 02:06:09 +0200
commit083df067efb58044395a7fab6b6e3f94bc0685d1 (patch)
tree5240b9eb04473abd942992e0ea47ba1f1f6eae3a
parentd0b8171de9c69e029bf998aafd4682105c217eb8 (diff)
Be a bit more expressive.
-rw-r--r--HowToContributeToThisWiki.mdwn26
1 files changed, 24 insertions, 2 deletions
diff --git a/HowToContributeToThisWiki.mdwn b/HowToContributeToThisWiki.mdwn
index a764031e..93ef77ab 100644
--- a/HowToContributeToThisWiki.mdwn
+++ b/HowToContributeToThisWiki.mdwn
@@ -45,8 +45,17 @@ Then you can work on these files.
$ cd wiki/
$ emacs Hurd/NextHurd.mdwn
$ git commit Hurd/NextHurd.mdwn
+ [...]
+ $ emacs Hurd/DesignGoals.mdwn
+ $ git commit Hurd/DesignGoals.mdwn
+ [...]
+ $ [...]
+
+Prepare to publish your changes.
+
+ $ [TODO]
-Finally publish your changes.
+Finally publish them.
$ [TODO]
@@ -69,7 +78,20 @@ Then you can work on these files.
$ cd wiki/
$ emacs Hurd/NextHurd.mdwn
$ git commit Hurd/NextHurd.mdwn
+ [...]
+ $ emacs Hurd/DesignGoals.mdwn
+ $ git commit Hurd/DesignGoals.mdwn
+ [...]
+ $ [...]
-Finally install your changes.
+Remember that at this stage your commits have only been installed into your
+personal working copy. So you finally explicitly have to install your changes
+into the master repository.
$ git push
+ updating 'refs/heads/master'
+ from d83f93f34b69633ca1afb588001df7addd708faf
+ to c0b8171de9c69e029bf998aafd4682105c217eb8
+ Generating pack...
+ [...]
+ Updating web pages. This may up to a few minutes at the utmost...