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