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 /builtin/commit.c | |
| parent | git-cherry-pick.txt: do not use 'ORIG_HEAD' in example (diff) | |
| download | git-d03c773cf6c9d425a8d25af7a45775e280fd6d81.tar.gz git-d03c773cf6c9d425a8d25af7a45775e280fd6d81.zip | |
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 'builtin/commit.c')
0 files changed, 0 insertions, 0 deletions