git-config: do not complain about duplicate entries