Avery Pennarun <apenwarr@xxxxxxxxx> wrote: >> On Thu, May 14, 2009 at 12:42 AM, layer <layer@xxxxxxxxx> wrote: >> > after the push, I still see the names of the files I pushed because I >> > haven't updated origin/master yet, with a fetch. Of course, a "git >> > pull" would do it, but I don't want to do that, because I might be >> > using something other than `origin' and I don't want anything but the >> > single branch. >> > >> > So, I naively thought that >> > >> > git fetch origin master >> > >> > would do the trick, but after that command the git diff above still >> > shows the same files. >> >> Short answer: >> >> git fetch origin I'm pretty sure I tried that. I'll certainly verify it once I figure out how to unwedge my repo. >> However, 'git push origin master' should update origin/master >> automatically, at least in relatively recent git versions. It's >> rather weird if that didn't happen. That's what I thought. Using git version 1.6.1.3 (client and server are the same machine). -- 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