Rimuovere file da GitHub ma non in locale

L'altro giorno ho avuto la bruttissima idea di levare dal .gitignore tutta la cartella .idea (cartella di configurazione del progetto di PhpStorm).

Questo mi ha comportato una marea di rotture, ed ho quindi deciso di rimettere la cartella nel .gitignore.

Ma visto che è già caricata su GitHub, in verità non viene ignorata.

Bisgona prima cancellarla; per evitare di fare la cancellazione fisica dal pc, e poi ricrearla, possiamo usare questo comando:

git rm --cached -r .idea/

Questo comando cancella la cartella .idea in maniera ricorsiva sul repo, lasciandola però sul pc.

Ovviamente vale per qualsiasi file o cartella vogliate.

A questo punto, dovete solo fare la commit per applicare le modifiche.

Enjoy!