Re: [PATCH v2 11/13] remote-hg: force remote push
- From
Joachim Schmitz <jojo@schmitz-digital.de>
- Date
- Apr 5, 2013, 06:31 UTC
- 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:
...
Show 6 quoted lines
>>> 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?