From: Linus Torvalds <torvalds@linux-foundation.org>
Date: Sat, 06 Jun 2009 17:57:55 GMT
Subject: Re: [WIP/RFC] Allow push and fetch urls to be different
Message-ID: <alpine.LFD.2.01.0906061057160.6847@localhost.localdomain>
In-Reply-To: <1244299395-6605-1-git-send-email-git@drmicha.warpmail.net>



On Sat, 6 Jun 2009, Michael J Gruber wrote:
>
> This introduces a config setting remote.$remotename.pushurl which is
> used for pushes only. If absent remote.$remotename.url is used for
> pushes and fetches as before.

Ack, looks sane to me. 

			Linus