From https://stackoverflow.com/questions/1270514/undoing-a-git-push
undo a git push
git push -f origin <last_known_good_commit>:branch_name