Essayer de supprimer un grand dossier de repo git mais prendre trop longtemps

Question

J'ai un git repo qui a un dossier avec environ 70 000 fichiers dedans. Cela a été une douleur donc au lieu d'utiliser les 70 000 fichiers que j'ai compressés en un tar.gz.

J'essaie maintenant de supprimer le répertoire du repo git, mais il semble prendre beaucoup plus de temps que je ne le pensais. Je me demande si git est juste suspendu chaque fois que j'essaye de supprimer le dossier.

Je ne vois git quand je fais un htop:

Ceci est la commande que je utilise pour supprimer le dossier:

git rm -r <folder_name>

est-il une meilleure façon pour faire ça? Mise à jour: Il a finalement fini, a pris environ 20 minutes.

Answer 1

Une façon plus rapide serait de séparer la mise à jour de l'index (enregistrement de la suppression) du système de fichiers suppression réelle:

git rm -r --cached <folder_name> 
rm -Rf <folder_name> 
git commit -m "delete folder"