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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
