From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Wed, 06 Dec 2006 10:42:29 GMT
Subject: Re: git newbie problems
Message-ID: <Pine.LNX.4.63.0612061140540.28348@wbgn013.biozentrum.uni-wuerzburg.de>
In-Reply-To: <457699C1.3060400@xs4all.nl>

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