how to revert if something is pushed on github code example
Example: github undo last pushed commit
git reset <previous label or sha1>
git commit -am "blabla"
git push -f <remote-name> <branch-name>
git reset <previous label or sha1>
git commit -am "blabla"
git push -f <remote-name> <branch-name>