From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 14 Jan 2013 19:09:40 GMT
Subject: Re: [BUG] Possible bug in `remote set-url --add --push`
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.