#You should use
#git update-index --assume-unchanged copy_to_servers.ini
copy_to_servers.ini