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 /Documentation/git-reset.txt | |
| parent | bbc6354171a08e2c43d651f8645bcdb76bf9f92b (diff) | |
| download | git-41728d69426dd707d4978929f8f4ac7a16f115f3.tar.gz | |
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>
Diffstat (limited to 'Documentation/git-reset.txt')
| -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:: + |