From: Andreas Schwab <schwab@linux-m68k.org>
Date: Wed, 16 Jan 2013 19:30:47 GMT
Subject: Re: [BUG] Possible bug in `remote set-url --add --push`
Message-ID: <m2ip6x0vtk.fsf@igel.home>
In-Reply-To: <7v622xyvnd.fsf@alter.siamese.dyndns.org>

Junio C Hamano <gitster@pobox.com> writes:

> I actually think my earlier "it shouldn't be the same (push)" is not
> needed and probably is actively wrong.  Just like you can tell
> between
>
>     (only one .url)                     (both .url and .pushurl)
>
>     origin there (fetch/push)           origin there (fetch)
>                                         origin there (push)

What should happen when you have a .pushinsteadof configured that
modifies .url for pushing?

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."