We have our Intellij (13) project settings checked into a git repository. I want to configure Intellij's Python interpreter within the project. To do this I need to add the SDK under "Platform Settings" and then select it in "Facets" under "Project Settings". The latter is checked-in, but the former is a global setting which we haven't checked in. If I commit the project settings change, other developers will merge that change but then Intellij will overwrite it because the SDK name is not configured in platform settings.
How can I get around this? It seems like the only way is to have a script modify the global settings files, but that's just nasty.