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