Marcel Grignoute

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)