diff options
author | J. Bruce Fields <bfields@citi.umich.edu> | 2007-02-20 02:46:09 +0300 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2007-03-05 03:47:32 +0300 |
commit | 1c73bb0ef7bf6632d1aa5d6760bba7ea4e336fe9 (patch) | |
tree | a71aed30534255232eb7f53d1d00ea28556c9887 | |
parent | 0bc25a78428a7dc3a3acf00eb9637424419c3afd (diff) |
user-manual: reset to ORIG_HEAD not HEAD to undo merge
As Linus pointed out recently on the mailing list,
git reset --hard HEAD^
doesn't undo a merge in the case where the merge did a fast-forward. So
the rcommendation here is a little dangerous.
Signed-off-by: "J. Bruce Fields" <bfields@citi.umich.edu>
Signed-off-by: Junio C Hamano <junkio@cox.net>
-rw-r--r-- | Documentation/user-manual.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt index 7b6dc22e7b..e37a1234fa 100644 --- a/Documentation/user-manual.txt +++ b/Documentation/user-manual.txt @@ -1255,7 +1255,7 @@ $ git reset --hard HEAD Or, if you've already commited the merge that you want to throw away, ------------------------------------------------- -$ git reset --hard HEAD^ +$ git reset --hard ORIG_HEAD ------------------------------------------------- However, this last command can be dangerous in some cases--never |