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