Re: [PATCH v1 0/8] repo_config_values: migrate more globals | The Git List