In questo caso, bisogna rimuovere i riferimenti nel repository oltre che inserire l’esclusione nel file .gitignore. Ipotizziamo di voler escludere il file pippo.txt, dovremo scrivere

pippo.txt

nel file .gitignore e poi rimuoverlo con:

git rm -r --cached pippo.txt

per verificare che sia tutto a posto, possiamo eseguire un:

git status

e poi procedere alla sincronizzazione con un:

git add .
git commit -m "rimozione pippo.txt"
git push

enjoy!