On 2007-08-29 01:11:07 -0700, Junio C Hamano wrote: > - "git reset --hard HEAD"; you do not have to write HEAD there. There should also probably be a warning about any local changes being irretrievably lost. (The existing warning is kind of vague.) -- Karl Hasselström, kha@xxxxxxxxxxx www.treskal.com/kalle - 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