how to undo push in github code example

Example: github cancel last push

# to undo a git push
git push -f origin HEAD^:master

# to get to previous commit (preserves working tree)
git reset --soft HEAD

# to get back to previous commit (you'll lose working tree)
git reset --hard HEAD^