Re: [CentOS-devel] registry.centos.org is now decommissioned