[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 | |
[remote "jps"] | |
fetch = +refs/heads/*:refs/remotes/jps/* | |
url = git://github.com/JetBrains/JPS.git | |
[url "https://github.com"] | |
insteadOf = anygithub | |
pushInsteadOf = git://github.com |