Developers have many run configurations in IntelliJ IDEA storred in .idea/workspace.xml
Dilemma: Should I include workspace.xml in Git?
No -> Defeats the purpose of source control
Yes -> Do I create a branch for every developer? Do I save it as workspace_developer_name.xml?