commit | a7bdee1122297442ac8eaaecf20db7363d48a14e | [log] [tgz] |
---|---|---|
author | Thomas Ackermann <th.acker@arcor.de> | Tue Aug 27 19:58:18 2013 +0200 |
committer | Junio C Hamano <gitster@pobox.com> | Tue Aug 27 15:14:43 2013 -0700 |
tree | 0251d0909f4214d2bd38c3a47fae969c9fc34d1e | |
parent | 3e65ac49e77283cf505b912c9a2b1bc05b7cd7a0 [diff] |
Use "git merge" instead of "git pull ." "git pull ." works, but "git merge" is the recommended way for new users to do things. (The old description also should have read "The former is actually *not* very commonly used".) Signed-off-by: Thomas Ackermann <th.acker@arcor.de> Signed-off-by: Junio C Hamano <gitster@pobox.com>