J'ai réalisé que mon référentiel était gonflé avec de gros fichiers WAV. Je voudrais les enlever du dépôt, y compris l'histoire et toutes les branches. Une idée sur la façon de faire cela? Merci.Supprimer tous les fichiers avec une extension donnée de l'historique GIT
Si le fichier est passé de l'historique, il est également passé de HEAD comme HEAD fait partie de l'historique.
Su juste utiliser git filter-branch avec un --index-filter qui utilise git rm --cached pour éradiquer toute trace des vagues.
Salut @Vampire! Merci de votre aide. Je suis conscient du fait que l'histoire inclut HEAD; Je suis en train d'éditer la réponse pour la rendre plus claire. Si ce n'est pas trop de problèmes, pourriez-vous donner une commande complète? Merci! – Enzo
Devrait être quelque chose comme 'git filtre-branche --index-filtre 'git rm --cache - **/*. Wav' --all' je pense – Vampire
HEAD fait partie de l'histoire. – PSkocik