Obtenir l’historique :

git reflog

Revenir à un commit (en perdant toutes les modifications !) :

git reset –hard COMMIT

Après un PR :

git pull –rebase origin dev (+ force push)