On 12-06-08 01:01, Junio C Hamano wrote:
Rene Herman <rene.herman@xxxxxxxxxxxx> writes:
The manpages seem to be making somewhat of a point of mentioning "git
pull . <branch>" as the way to merge a local branch into the current
one but a simple "git merge <branch>" seems to work well. Is there a
difference?
There isn't any.
"git pull . this_branch" is just a natural and logical consequence that
you can fetch and merge a branch B from remote U with "git pull $U $B".
"git merge that_branch" exists and useful because people on average merge
local branches more than they fetch and merge from remote repository.
Thank you. Slowly getting more comfortable with git...
Rene.
--
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
