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
Appunti, stralci di programmazione e altro
Per eliminare file già committati che devono essere ignorati da git, procedere in questo modo:
Pushare le modifiche in remoto