On Mon, Nov 03, 2008 at 01:56:36AM -0500, Jeff King wrote: > So my statement was not anything about "git push $there HEAD", but just > that adding "--matching" was reasonable. And btw, I am not saying I necessarily disagree with Sam's proposal about bare "git push". I am undecided about the best course of action there. I just wanted to make clear that it was not what I was talking about in the original mail. -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
