In repository I have a set of file. one of them gets modified by running some operation. How can I configure the git to make sure that whenever somone does a pull he One fil