Removing `git reset --hard`, since it is redundant

It is only being used to throw away any local changes, and since we are
not doing any commits on the detached head, `git checkout --force` has
the same effect