summaryrefslogtreecommitdiff
path: root/contributing
diff options
context:
space:
mode:
Diffstat (limited to 'contributing')
-rw-r--r--contributing/web_pages.mdwn4
1 files changed, 2 insertions, 2 deletions
diff --git a/contributing/web_pages.mdwn b/contributing/web_pages.mdwn
index 390cb942..13dc7a3e 100644
--- a/contributing/web_pages.mdwn
+++ b/contributing/web_pages.mdwn
@@ -131,8 +131,8 @@ For all cases: if you omit `[dest]` it will default to `hurd-web`.
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, even better would be to do a `git fetch`, followed by a `git
-rebase origin/master` to avoid useless *Merge branch ...* messages. See the
+(In most cases, you should use `git pull --rebase`,
+to avoid useless *Merge branch ...* messages. See the
Git documentation for details.)
## Editing the Content