replace "git repo-config" usage by "git config"