Documentation/git-reset: