Ignorare dei files in git

• Se si vogliono ignorare dei files, creare nel repository il file:

vi .gitignore

• Inserirvi i percorsi dei files da ignorare o i glob patterns:

path/to/file
*.log

• Se un files è stato erroneamente aggiunto al versioning, è possibile eliminarlo con

git rm --cached filename

in questo modo il file rimarrà fisicamente presente, e sarà possibile aggiungerlo alla lista di quelli ignorati

• Per rimuovere un file dalla history, vedi Help.GitHub - Remove sensitive data

Riferimenti

• Help.GitHub - Ignore files
• Help.GitHub - Remove sensitive data