| [core] | |
| repositoryformatversion = 0 | |
| filemode = true | |
| bare = false | |
| logallrefupdates = true | |
| ignorecase = true | |
| [remote "origin"] | |
| fetch = +refs/heads/*:refs/remotes/origin/* | |
| url = anygithub/JetBrains/intellij-community.git | |
| pushUrl = git@github.com:JetBrains/intellij-community.git | |
| [remote "jps"] | |
| fetch = +refs/heads/*:refs/remotes/jps/* | |
| url = git://github.com/JetBrains/JPS.git | |
| pushUrl = git@github.com:JetBrains/JPS.git | |
| [url "https://github.com/"] | |
| insteadOf = anygithub/ | |
| pushInsteadOf = git@github.com: |