From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 23 Jul 2014 21:41:19 GMT
Subject: Re: confused about remote branch management
Message-ID: <xmqqmwbzda80.fsf@gitster.dls.corp.google.com>
In-Reply-To: <1406143336.29001.185.camel@localhost>

Ross Boylan <ross@biostat.ucsf.edu> writes:

> I still don't know what I need to do to update origin/master in my local
> repo.
>
> Regarding Kevin's suggestion, I just tried "git fetch origin master".

I think Kevin's suggestion was 'To older git, "git fetch origin
master" tells it to fetch master without updating origin/master, so
it is understandable that your origin/master was not molested'.

Either

	git fetch origin master:refs/remotes/origin/master

or if you want to be more explicit and unambiguous:

	git fetch origin refs/heads/master:refs/remotes/origin/master

should work on all versions of git.