diff options
author | Philippe Blain <levraiphilippeblain@gmail.com> | 2023-01-10 13:15:18 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-01-13 09:55:45 -0800 |
commit | d03c773cf6c9d425a8d25af7a45775e280fd6d81 (patch) | |
tree | 6c9ab698d6672d20958423f723bb9c0b7f80fa61 /Documentation/git-reset.txt | |
parent | e29678bb7c967f731965829e38aab8dd88e5c031 (diff) | |
download | git-d03c773cf6c9d425a8d25af7a45775e280fd6d81.tar.gz |
git-reset.txt: mention 'ORIG_HEAD' in the Description
The fact that 'git reset' writes 'ORIG_HEAD' before changing HEAD is
mentioned in an example, but is missing from the 'Description' section.
Mention it in the discussion of the "'git reset' [<mode>] [<commit>]"
form of the command.
Signed-off-by: Philippe Blain <levraiphilippeblain@gmail.com>
Acked-by: Phillip Wood <phillip.wood@dunelm.org.uk>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-reset.txt')
-rw-r--r-- | Documentation/git-reset.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Documentation/git-reset.txt b/Documentation/git-reset.txt index 01cb4c9b9c..79ad5643ee 100644 --- a/Documentation/git-reset.txt +++ b/Documentation/git-reset.txt @@ -49,7 +49,8 @@ section of linkgit:git-add[1] to learn how to operate the `--patch` mode. 'git reset' [<mode>] [<commit>]:: This form resets the current branch head to `<commit>` and possibly updates the index (resetting it to the tree of `<commit>`) and - the working tree depending on `<mode>`. If `<mode>` is omitted, + the working tree depending on `<mode>`. Before the operation, `ORIG_HEAD` + is set to the tip of the current branch. If `<mode>` is omitted, defaults to `--mixed`. The `<mode>` must be one of the following: + -- |