undo commit on remote master github code example

Example: how to undo a commit from remote

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