From: Sverre Rabbelier Date: Sun, 16 Aug 2009 02:30:58 GMT Subject: Re: [RFC PATCH 1/2] add a --delete option to git push Message-ID: In-Reply-To: <7vprax4yzd.fsf@alter.siamese.dyndns.org> Heya, On Fri, Aug 14, 2009 at 19:01, Junio C Hamano 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