Hi, On Sat, 24 Jun 2006, Junio C Hamano wrote: > Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes: > > > I would not care too strongly about that. Eventually, I really would like > > this file to reside in $GIT_DIR, not /tmp, but whatever. That is not my > > biggest concern right now. That I cannot update since June 18th, however, > > is. > > Would reverting 8f732649 in the meantime be an option for you? I think it is worth fixing instead of working around. Ciao, Dscho - : 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