how to revert push in github code example

Example: git remove las remotet commit

git reset HEAD^ # remove commit locally
git push origin +HEAD # force-push the new HEAD commit