add user.properties to .gitignore