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

[Avery Pennarun <apenwarr@gmail.com>]

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