Jeff King <peff@xxxxxxxx> writes: > 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? Hmm, that would be good. That would allow me to start publishing the individual topics with ease. I never thought of that. -- 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
