Subject: Re: [PATCH 04/11] Use "git merge" instead of "git pull ."

From: Junio C Hamano <[email-masked]>
Date: Tue, 27 Aug 2013 12:06:33 -0700

Thomas Ackermann <[email-masked]> 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.