[CentOS-devel] Re: Migrating from pagure.io to gitlab.com/centos/ - any hints