git-reset(1) on Linux
The text 727008479f6e, as Debian 10 (Buster) shipped it.
Reset current HEAD to the specified state
Flags it lists
-
--hard -
--keep -
--merge -
--mixed -
--no-quiet -
--quiet -
--soft -
-q