Daniel Barkalow wrote:
quoted text
> On Wed, 11 Jun 2008, Rene Herman wrote:
> 
>> Good day.
>>
>> 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?
> 
> Those manpage sections predate the existance of "git merge <branch>". If 
> you're not planning to use git before November 2006, there's no reason to 
> use the "git pull ." form. They should probably be replaced with more 
> helpful examples at this point.

Was there some past discussion of the ui merits of a separate 'merge' command
for dealing with local merges and a 'pull' command for remote merges? I
understand merge is the backend. The question has to do with the high-level
user interface: one command or two? Why wasn't git-pull enough?

I ask because elsewhere in this thread Miklos suggests that git-merge should
be preferred over git-pull when dealing with a local repostory and you suggest
here that the documentation should be updated to use the 'git merge' method
instead of 'git pull'. I had the impression that git-merge was only used by
those who had not yet gotten their mind around the pull methodology. So it
was more of an 'ease the transition from other SCMs' rather than the recommended
way of doing things.

-brandon

--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html