[CentOS-devel] Re: CentOS Infra tracker moving to Gitlab.com (please read)