Update pull command.

diff --git a/Documentation/devel/git-starting.itexi b/Documentation/devel/git-starting.itexi
index 1fb162042f119cfcfcc98f11cd8e78ea4bacd75c..5fe9f3fc157c0dd4feb6bfe404a7c3aae7a1c78c 100644 (file)
--- a/Documentation/devel/git-starting.itexi
+++ b/Documentation/devel/git-starting.itexi
@@ -171,7 +171,7 @@ local copy of the repository with the changes made by others on
 the remote @code{git.sv.gnu.org} repository:
 
 @example
-git pull origin
+git pull -r
 @end example