Per eliminare file già committati che devono essere ignorati da git, procedere in questo modo:

  • git rm -r –cached .
  • git add -A
  • git commit -m ‘Rimozione file ignorati’

Pushare le modifiche in remoto