From: Avery Pennarun <apenwarr@gmail.com>
Date: Thu, 14 May 2009 04:58:09 GMT
Subject: Re: how to update origin/<branch> after a push to origin <branch>?
Message-ID: <32541b130905132158s44cc5b19n974901c05cf025b2@mail.gmail.com>
In-Reply-To: <19640.1242276135@relay.known.net>

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

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.

Have fun,

Avery