1.0.2dev: use `git config` instead of `git repo-config` which is deprecated in 1.7.5. `git config` is available since 1.5.0.
Authored by: jomae 2013-07-07
Parent: [r11836]
Child: [r11838]