git update-index --assume-unchanged <file>

If there’s a remote server, also do:

git rm --cached <file>