Re: Reference for git.git release process
- From
Jeff King <peff@peff.net>
- Date
- Mar 26, 2009, 03:15 UTC
- 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:
Show 6 quoted lines
> 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