On Thu, Nov 18, 2010 at 07:49:04PM +0100, Jan Hudec wrote: > > So I think we need --mirror=push, or something similar. > > Does it *ever* make sense to have a non-bare pull mirror. I think it does > not. I don't think so. But it may make sense to have a bare push mirror, as I mention in my other email. So we may still want to make it easy for the user to specify. -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