[CentOS-devel] Re: git.centos.org to gitlab migration happening on August 25th