Re: git merge remote branch says "Merge commit ..."?

[Jeff King <peff@peff.net>]

On Fri, May 22, 2009 at 08:30:34PM +0200, Johannes Sixt wrote:

> On Freitag, 22. Mai 2009, Jeff King wrote:
> > No, it is not terribly expensive. But you do have to talk to the server,
> > which may mean making an ssh connection, or the server may be overloaded
> > and slow. So it can take a few seconds instead of a few microseconds.
> 
> It's certainly doable without a remote connection with some digging in the 
> configuration.

Er, I think we have gotten a bit off track.

Yes, it's clearly possible to pretend you fetched but not actually do so
when doing "git merge origin/master" (and the patch I posted does
something close, but doesn't fill in the actual remote name; you just
get "remote branch origin/master").

All the other part of this thread was just me claiming that:

  git fetch origin
  git log origin...
  git merge origin

Is a totally valid workflow, and that the answer should not be "those
people should just run pull".

> Git-gui has some magic to find out the remote when you request to merge a 
> remote tracking branch. That is, even though you clickety-click through to do 
> the equivalent of 'git merge origin/master', it comes up with a merge message 
> that is the same as if you had said 'git pull origin master' on the command 
> line. It doesn't need a connection to do that.

Right. We could probably use similar logic in "git merge". I'm not sure
if it is worth the trouble to end up with "Merge branch 'master' of
origin" instead of "Merge remote branch 'origin/master'".

-Peff