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 -- 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