| commit | d03c773cf6c9d425a8d25af7a45775e280fd6d81 | |
| author | Philippe Blain <levraiphilippeblain@gmail.com> | |
| Tue, 10 Jan 2023 13:15:18 +0000 (10 13:15 +0000) | ||
| committer | Junio C Hamano <gitster@pobox.com> | |
| Fri, 13 Jan 2023 17:55:45 +0000 (13 09:55 -0800) | ||
| tree | 6c9ab698d6672d20958423f723bb9c0b7f80fa61 | treesnapshot (tar.gz zip) |
| parent | e29678bb7c967f731965829e38aab8dd88e5c031 | commitdiff |
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>
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>
| Documentation/git-reset.txt | diffblobblamehistory |