Apparently intellij suggests sharing everything but workspace.xml. Hope this commit is right!