Supprimer un répertoire de façon permanente à partir de git

Dans mon repo git, j'ai un répertoire qui contient des milliers de petites images qui ne sont plus nécessaires. Est-il un moyen de les supprimer de l'ensemble de l'historique de git? J'ai essayé

git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch imgs" HEAD

et

git filter-branch --tree-filter 'rm -fr imgs' HEAD

mais la taille du repo git reste inchangé. Des idées?

Grâce

  • Pas sûr, mais avez-vous essayé de lancer git gc après? Peut-être qu'ils sont encore là comme des déchets...
  • oui je suis
  • Vous devrez supprimer toutes les anciennes références (par exemple, les noms de branches, tags), et vous pouvez exécuter git gc --aggressive par la suite.
InformationsquelleAutor adk | 2009-08-01