Re: [CentOS-devel] Proposal for CentOS dist-git design