On Wed, Jun 11, 2008 at 03:13:45AM +0200, Rene Herman <rene.herman@xxxxxxxxxxxx> 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.
Attachment:
pgpvX9DbhC6NW.pgp
Description: PGP signature
