Não é possível desfazer um push diretamente, como é feito com o commit utilizando o comando $ git reset --soft|mixed|hard hash-do-penultimo-commit
Para desfazer um push são necessários 3 passos:
- Utilizar o comando
$ git reset --mixed HEAD~1
e em seguida utilizar o comando$ git stash
(se preferir pode usar a opção-m "revertendo o push blablabla"
para salvar o stash com um contexto do que foi feito - Utilizar o comando
$ git revert HEAD~0
- Utilizar o comando
$ git stash apply
- Utilizar o comando
$ git push origin sua-branch -f