git ignore local properties file