summaryrefslogtreecommitdiff
path: root/contributing
diff options
context:
space:
mode:
Diffstat (limited to 'contributing')
-rw-r--r--contributing/web_pages.mdwn21
1 files changed, 15 insertions, 6 deletions
diff --git a/contributing/web_pages.mdwn b/contributing/web_pages.mdwn
index d1b3c0fc..b2e96121 100644
--- a/contributing/web_pages.mdwn
+++ b/contributing/web_pages.mdwn
@@ -130,13 +130,22 @@ is also read-only.
$ git clone http://www.bddebian.com:8888/git/hurd-web [dest]
-For all cases: if you omit `[dest]` it will default to `hurd-web`.
+Or, you can check out the Savannah repository:
-Later, you can just `cd` into the `hurd-web` directory and run a `git pull` to
-get hold of the latest changes others have been installing in the mean time.
-(In most cases, you should use `git pull --rebase`,
-to avoid useless *Merge branch ...* messages. See the
-Git documentation for details.)
+ $ git clone git://git.savannah.gnu.org/hurd/web.git [dest]
+
+See <http://git.savannah.gnu.org/cgit/hurd/web.git>. If you're using the `ssh`
+protocol, and you're a member of the Hurd's [[rules/Savannah_group]], you can
+also push to this repository. The disadvantage of pushing to the Savannah
+repository is that there is no [[ikiwiki]] installation where the pushed
+changes are immediatelly rendered and viewable by everyone.
+
+For all cases: if you omit `[dest]` it will default to `hurd-web` for the
+`bddebian.com` repositories, or `web` for a Savannah clone.
+
+Later, you can just `cd` into the `hurd-web` or `web` directory, and, for
+example, run `git pull` to get hold of the latest changes others have been
+installing in the mean time.
## Editing the Content