Re: [BUG] Possible bug in `remote set-url --add --push`
- From
Andreas Schwab <schwab@linux-m68k.org>
- Date
- Jan 16, 2013, 19:30 UTC
- Message-ID
- <m2ip6x0vtk.fsf@igel.home>
- In-Reply-To
- <7v622xyvnd.fsf@alter.siamese.dyndns.org>
Junio C Hamano <gitster@pobox.com> writes:
Show 8 quoted lines
> 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."