Using `git reset --hard master~1` rather than `git reset --hard a13b85e` to make the use of `git log` unnecessary