From: Jeff King <peff@peff.net>
Date: Thu, 26 Mar 2009 03:15:21 GMT
Subject: Re: Reference for git.git release process
Message-ID: <20090326031521.GA7984@coredump.intra.peff.net>
In-Reply-To: <7vtz5hugc6.fsf@gitster.siamese.dyndns.org>

On Wed, Mar 25, 2009 at 08:13:13PM -0700, Junio C Hamano wrote:

> Incidentally, that is why I usually favor the current 'matching' default.
> If I decide to push something to the other repository, the other
> repository remembers my wish, so I do not have to keep track (of course,
> for that to work effectively, you have to _own_ the other side; it does
> not work well for a shared public repository and that is why we had a
> lengthy discussion on push.default).

So if I understand correctly, you would actually like "push matching,
delete missing" behavior?

-Peff