Re: [RFC PATCH 1/2] add a --delete option to git push
- From
Sverre Rabbelier <srabbelier@gmail.com>
- Date
- Aug 16, 2009, 02:30 UTC
- Message-ID
- <fabb9a1e0908151930g6e1df244r4ea515fad1e70c1e@mail.gmail.com>
- In-Reply-To
- <7vprax4yzd.fsf@alter.siamese.dyndns.org>
Heya,
On Fri, Aug 14, 2009 at 19:01, Junio C Hamano<gitster@pobox.com> wrote:
> As we discussed in this thread at length, #2 is on the borderline. It > makes sense if you take only --delete out of possible vocabulary, but when > you think about it as a part of a coherent whole, it becomes somewhat > iffy---it does not fit particularly well with other parts of the system.
I do not particularly care either way, I'm willing to implement whatever we decide on, and if that's nothing at all" that's fine with me too :).
-- Cheers, Sverre Rabbelier