chiark / gitweb /
replace "git repo-config" usage by "git config"