Twiddling IntelliJ IDEA commit so workspaces won't clash.