From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 27 Aug 2013 19:06:33 GMT
Subject: Re: [PATCH 04/11] Use "git merge" instead of "git pull ."
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.