Please see http://bugs.debian.org/420112
In example 'Undo a commit and redo', refer to 'git commit --amend', as this is the easier alternative.
Signed-off-by: Gerrit Pape <pape@smarden.org>
---
Documentation/git-reset.txt | 2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
Show changes to Documentation/git-reset.txt +2 −0
diff --git a/Documentation/git-reset.txt b/Documentation/git-reset.txt
index 5b55cda..19c5b9b 100644
--- a/Documentation/git-reset.txt
+++ b/Documentation/git-reset.txt
@@ -67,6 +67,8 @@ message, or both. Leaves working tree as it was before "reset".
<3> "reset" copies the old head to .git/ORIG_HEAD; redo the
commit by starting with its log message. If you do not need to
edit the message further, you can give -C option instead.
++
+See also the --amend option to gitlink:git-commit[1].
Undo commits permanently::
+
--
1.5.1.2
Gerrit Pape