From: Joachim Schmitz <jojo@schmitz-digital.de>
Date: Fri, 05 Apr 2013 06:31:48 GMT
Subject: Re: [PATCH v2 11/13] remote-hg: force remote push
Message-ID: <kjlr4o$jil$1@ger.gmane.org>
In-Reply-To: <87eheqq6dk.fsf@59A2.org>

Jed Brown wrote:
> Felipe Contreras <felipe.contreras@gmail.com> writes:
>
>> On Thu, Apr 4, 2013 at 2:48 PM, Jed Brown <jed@59a2.org> wrote:
...
>>> We have
>>> to assume that every Git (remote-hg) User is dealing with Hg Team
>>
>> No, we don't.
>
> Really?  If there is no Hg Team, why bother with an Hg upstream?

Huh? the counterpart of "every user" wpuld be "some users" and not "no user" 
or "no HG team", isn't it?