Re: how to update origin/<branch> after a push to origin <branch>?

From: layer <layer@known.net>
Date: May 14, 2009, 05:01 UTC
Message-ID: <19997.1242277316@relay.known.net>
In-Reply-To: <32541b130905132158s44cc5b19n974901c05cf025b2@mail.gmail.com>

Avery Pennarun <apenwarr@gmail.com> wrote:

Show 17 quoted lines

>> On Thu, May 14, 2009 at 12:42 AM, layer <layer@known.net> 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).