Hi, On Wed, 6 Dec 2006, Han-Wen Nienhuys wrote: > Note that in the beginning I have wrestled to make git update the HEAD , > eg. trying --update-head-ok Ah! That would explain many of the problems! BTW where did you see that option mentioned? We should hide this option as deep in the technical lores of the documentation, fast. Ciao, Dscho - 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