Thomas Ackermann <th.acker@xxxxxxxx> 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. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html