Ignore changes to config/server_details.properties
For details, see .gitignore