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 h
This was triggered by a query by Sam Ravnborg, and extends "git reset" to
reset the index and the .git/HEAD pointer to an arbitrarily named point.
For example
git reset HEAD^
will just reset the current HEAD to its own parent - leaving the working
directory untouched, but effectively
2 matches
Mail list logo
