On Friday 05 January 2007 11:50, Len Brown wrote: > I kicked off a pull. > Realized I was on the wrong branch > and immediately did a ^C > > Now I can't change branches: > > # git checkout release > fatal: unable to create '.git/index': File exists > fatal: unable to create '.git/index': File exists > > git reset --hard > does not help. > > curiously, moving .git/index to /tmp and repeating > results in the same error. rm .git/index.lock seemed to do the trick. Hopefully nothing is toasted by this... - 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