Supprimer un fichier dans l’historique de git

Un moment d’inatention et hop, un fichier de plusieurs mégaoctets se retrouve dans le dépot. Pour le supprimer de tout l’historique, il faut commencer par repérer un commit où il n’existe pas, par exemple bon-commit.

Ensuite, passer la commande

git filter-branch --index-filter 'git rm --cached --ignore-unmatch nom_du_fichier' bon-commit..HEAD