GIt how to reset local to a commit on remote

 https://stackoverflow.com/questions/5816688/resetting-remote-to-a-certain-commit

git reset --hard <commit-hash>
 git push -f origin master