From: Miklos Vajna <vmiklos@frugalware.org>
Date: Wed, 11 Jun 2008 01:56:08 GMT
Subject: Re: "git pull . <branch>" versus "git merge <branch>"
Message-ID: <20080611015608.GD29404@genesis.frugalware.org>
In-Reply-To: <484F26C9.9080608@keyaccess.nl>

On Wed, Jun 11, 2008 at 03:13:45AM +0200, Rene Herman <rene.herman@keyaccess.nl> wrote:
> So in the case of merging a branch from the local repository into the 
> current branch, there is no difference between the two?

There is no difference, but you really want to use git merge and not git
pull in such a case, I guess the git pull form is supported mainly to
keep backwards compatibility.