Re: [RFC/PATCH] remote: add new sync command
- From
Jeff King <peff@peff.net>
- Date
- Nov 7, 2011, 18:39 UTC
- Message-ID
- <20111107183938.GA5155@sigill.intra.peff.net>
- In-Reply-To
- <CAMP44s358k4EsCg+K6MeLEU4eLbb4mWyX9AdAf4P9CHvf9Lrwg@mail.gmail.com>
On Mon, Nov 07, 2011 at 08:35:07PM +0200, Felipe Contreras wrote:
> I don't know, seems logical to me what 'git remote sync' does, but > 'git push sync'? That sounds weird, and there are no 'git push foo' > commands.
What I don't understand is why it is not:
git push --mirror <URL|remote>
Show 6 quoted lines
> > And how does this differ from "git push --mirror"? It looks like you > > have more options for what pushing all versus pruning, but wouldn't it > > be better for "git push" to grow those options? > > But how? --mirror is just an option, I want a separate command, with > it's own options.
That's what I don't understand from your proposal. Your command is just pushing something to the remote, right? Why isn't "push" the command, and your sync options become options to push?
Can you step back and describe the problem you're trying to solve? Maybe we're not connecting there.
-Peff