diff options
| -rw-r--r-- | contributing/web_pages.mdwn | 4 |
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 |