undo last commit and push code example

Example 1: revert last push to server

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

Example 2: git remove commits from branch after push

git reset --hard <last_working_commit_id>
So we must not reset to the commit_id that we don't want.

Then sure, we must push to remote branch:

git push --force

Example 3: github undo last pushed commit

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