# 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^