“github annuler la dernière poussée” Réponses codées

github annuler la dernière poussée

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