do not commit .settings to .git