I am working on a large project with a git repository. It is picky, so every time I push something it complains about white spaces and tabs. But this time, after I have manually made sure that the file I am uploading does not have tabs, the message after git commit does not change
git commit
sth/sth-else.hh:81: space before tab in indent.
do I need to refresh git somehow to notice that the file was changed?