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

Jed Brown wrote:

Felipe Contreras [off-list ref] writes:

quoted

On Thu, Apr 4, 2013 at 2:48 PM, Jed Brown [off-list ref] wrote:

...

quoted

quoted

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?