Re: git newbie problems
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Dec 6, 2006, 10:42 UTC
- 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