Re: [PATCH v2 11/13] remote-hg: force remote push
- From
Jed Brown <jed@59a2.org>
- Date
- Apr 5, 2013, 12:16 UTC
- Message-ID
- <876201qijy.fsf@59A2.org>
- In-Reply-To
- <kjlr4o$jil$1@ger.gmane.org>
Joachim Schmitz <jojo@schmitz-digital.de> writes:
Show 6 quoted lines
> Jed Brown wrote: >> >> 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?
I'm not sure what you're getting at here, but the whole premise of a two-way git-remote-X is that the users of git-remote-X have less influence in the project than the users of X have in the project. Usually this means that the project workflow is whatever the X users find comfortable rather than whatever git-remote-X users prefer.
If you are the sole publisher to a remote repository, sending pull requests to upstream, and if they are comfortable with pulling bookmarks (much more likely if they use a pull-request model rather than a shared repo), then force-pushing by default is more reasonable. An imperfect analogy is Git's push.default=simple, which is more friendly to beginners and to those sharing a remote.