I have an .ini file in my git repository. It is meant to be a default configuration file documenting possible keys for the user to set. I would like that a user cloning the repository get these defaults. However, later on, each of the users (developers) would modify the .ini according to their preferences. The repository also has a .gitignore file where the .ini is listed. The problem is that I don't know how to tell git not to track this file. What would be the right way to achieve this?