Lo so, lo so cosa vi starete chiedendo: ma cosa sta dicendo questo?
Beh, purtroppo è una cosa che può capitarvi quando siete alle prime armi con git. Se avete già fatto commit di file che non erano ancora presenti nel file .gitignore
, l’unica cosa (in realtà ce ne sono parecchie, ma questa è la più veloce) che potete fare è:
git rm -r --cached . git add . git commit -am "Remove ignored files" git push
E voilà, i file che avete ignorato (o che d’ora in poi ignorerete), ora sono stati cancellati, committati e pushati dalla vostra repository.