Enhanced the self-documentation in git setup.

diff --git a/scripts/setup-git.sh b/scripts/setup-git.sh
index 1a5e36d3398a12240d7aabec3a69b34996dcd31d..f9f709ff7f9e2ffd49b29cf9f8e27f630367fa0e 100755 (executable)
--- a/scripts/setup-git.sh
+++ b/scripts/setup-git.sh
@@ -47,11 +47,21 @@ cat 1>&2 <<EOF
     This does NOT rewrite history on the remote FS repo, but it does
     change the commit hashes in your local tree.
 
+    By default, 'git pull' is equivalent to running:
+
+      git fetch && git merge origin/master
+
+    What we've done here is change things such that 'git pull' is now
+    equivalent to:
+
+      git fetch && git rebase origin/master
+
     If you really want to merge rather than rebasing, run:
 
       git merge <commit>
 
-    See 'man git-config' for more information.
+    See 'man git-config' for more information.  Also see the man pages
+    for git-pull, git-fetch, git-merge, and git-rebase.
 EOF
 
 [ -n "$name" ] \