undo commit on remote code example

Example: how to undo a commit from remote

git reset --hard HEAD~3
git push -f