I want to undo one commit from remote code example

Example: how to undo a commit from remote

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