Re: [BUG] Possible bug in `remote set-url --add --push`
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jan 14, 2013, 19:09 UTC
- Message-ID
- <7v1udnbmyz.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <50F40316.7010308@drmicha.warpmail.net>
Michael J Gruber <git@drmicha.warpmail.net> writes:
> It seems to me that everything works as designed, and that the man page > talk about "push URLs" can be read in two ways,...
Hmph, but I had an impression that Jardel's original report was that one of the --add --pushurl was not adding but was replacing. If that was a false alarm, everything you said makes sense to me.
Thanks.