The `git_reset` API with the HARD option is still slightly broken, but this test now does exercise the ability of the command to revert modified files.
