We only set it in some config files because we want to change the default (basename of git url) or need it later in the file.