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
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
2 matches
Mail list logo