Re: [PATCH 04/11] Use "git merge" instead of "git pull ."
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Aug 27, 2013, 19:06 UTC
- Message-ID
- <xmqqob8jc5s6.fsf@gitster.dls.corp.google.com>
- In-Reply-To
- <1685937666.34465.1377626298173.JavaMail.ngmail@webmail19.arcor-online.net>
Thomas Ackermann <th.acker@arcor.de> writes:
> "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".)
It does not matter that you are unaware other people use it often. I'd suggest dropping the first hunk altogether.