kerkerj
git update-index --assume-unchanged <file>
If there’s a remote server, also do:
git rm --cached <file>
git update-index --assume-unchanged <file>
If there’s a remote server, also do:
git rm --cached <file>