# 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^
# to undo a git push
git push -f origin HEAD^:master
# to get to previous commit (preserves working tree)
gitgit push -f reset --soft HEAD
# to get back to previous commit (you'll lose working tree)
git reset --hard HEAD^