J'ai accidentellement ajouté (git add *) un gros fichier (200+ Mo) à un dépôt git. Je commets les changements et je l'ai poussé.Git Rétablissement d'un gros fichier PUSHed
Lorsque j'ai essayé d'effectuer des modifications sur une autre copie, cela prenait trop de temps. J'ai annulé le pull, enlevé le fichier (git rm), commit, et poussé à nouveau. Mais cela prend encore trop de temps à tirer sur d'autres copies de travail. Alors, comment l'enlever complètement du repo principal?
Merci, Imran
Bien qu'il ait fallu du temps pour réécrire l'histoire, mais ça marche. Merci. – Saim
Si git-filter-branch prend beaucoup de temps pour réécrire votre historique, vous voudrez probablement essayer The BFG- http://rtyley.github.io/bfg-repo-cleaner/ - il est 10-50 fois plus rapide de supprimer les données indésirables (c'est-à-dire de gros fichiers). –