user-manual: reset to ORIG_HEAD not HEAD to undo merge
authorJ. Bruce Fields <bfields@citi.umich.edu>
Mon, 19 Feb 2007 23:46:09 +0000 (18:46 -0500)
committerJunio C Hamano <junkio@cox.net>
Mon, 5 Mar 2007 00:47:32 +0000 (16:47 -0800)
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>
No differences found