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

Avery Pennarun <apenwarr@gmail.com> wrote:

>> Short answer:
>> 
>>    git fetch origin

I wasn't doing exactly this, but I was doing the equivalent of 

  git fetch $(git config --get remote.origin.url)

Why would these be different?

Kevin