Re: [CentOS-devel] Proposal: Add pkg- prefix to package names in CentOS dist-git