git revert after push code example

Example 1: revert last push to server

git reset --hard HEAD@{1}
git push -f

Example 2: github undo last pushed commit

git reset <previous label or sha1>
git commit -am "blabla"
git push -f <remote-name> <branch-name>