Subject: Re: [PATCH v2 11/13] remote-hg: force remote push

From: "Joachim Schmitz" <[email-masked]>
Date: Fri, 5 Apr 2013 08:31:48 +0200

Jed Brown wrote:
> Felipe Contreras <[email-masked]> writes:
>
>> On Thu, Apr 4, 2013 at 2:48 PM, Jed Brown <[email-masked]> 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?