A nice feature of GIT when working in a collaborative environment is preventing detection of changes for a specific file.
Turn it on again:
git update-index --assume-unchanged [path]
git update-index --no-assume-unchanged [path]
The path name is case sensitive!
You can still pull the changes from the server. Getting a list of the ignored files, I couldn't make it happen.