| [core] | |
| repositoryformatversion = 0 | |
| filemode = true | |
| bare = false | |
| logallrefupdates = true | |
| ignorecase = true | |
| [remote "origin"] | |
| fetch = +refs/heads/*:refs/remotes/origin/* | |
| url = git://github.com/JetBrains/intellij-community.git | |
| url = git://jetbrains.com/intellij-community.git | |
| pushUrl = https://github.com/JetBrains/intellij-community.git | |
| pushUrl = https://jetbrains.com/intellij-community.git | |
| [branch "master"] | |
| remote = origin | |
| merge = refs/heads/master |