And yet up above we have others recommending to never, ever, use `git reset --hard ...`.