How about saving the current HEAD to $GIT_DIR/OLD_HEAD just in
case?  Then after fixing up the files in the working tree, you
could say "git commit -m OLD_HEAD".

To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at

Reply via email to