settingsRepository IntelliJ Idea settings probably not interesting to anyone but the developer who uses these settings for his IDE