Pour déplacer le pointeur de branche d'une branche extraite, on peut utiliser la git reset --hard
commande. Mais comment déplacer le pointeur de branche d'une branche non extraite pour pointer vers un commit différent (en gardant toutes les autres choses comme une branche distante suivie)?
git branch <branch-name> <SHA-1-of-the-commit>
et vider l'ancienne branche?