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.