[CentOS-devel] 2019-10-28 cbs.centos.org infrastructure upgrade.