On Tue, Aug 27, 2013 at 12:06:33PM -0700, Junio C Hamano wrote: > Thomas Ackermann <th.ac...@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.
Eh, the claim "The former is actually very commonly used." is confusing on its own (even though it used to be true) and elaborating wouldn't help much with education, so the first hunk makes sense to me. But maybe it should have been done in a separate patch. ;-) Thanks, Jonathan -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html