diff options
author | Gerrit Pape <pape@smarden.org> | 2007-04-23 12:06:29 +0000 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2007-04-23 23:55:08 -0700 |
commit | 41728d69426dd707d4978929f8f4ac7a16f115f3 (patch) | |
tree | 20e5b50d5a436696bb3d51e0c76c90e18be37e13 | |
parent | Build RPM with ETC_GITCONFIG=/etc/gitconfig (diff) | |
download | tgif-41728d69426dd707d4978929f8f4ac7a16f115f3.tar.xz |
Documentation/git-reset.txt: suggest git commit --amend in example.
In example 'Undo a commit and redo', refer to 'git commit --amend', as
this is the easier alternative.
Signed-off-by: Junio C Hamano <junkio@cox.net>
-rw-r--r-- | Documentation/git-reset.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Documentation/git-reset.txt b/Documentation/git-reset.txt index 5b55cda512..19c5b9bbda 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:: + |