Simplify "git reset --hard"