[SN#1715] Migrate CentOS infra tracket to gitlab (from pagure.io)

As the CentOS board decided to move all projects from git.centos.org (and so from pagure) to gitlab.com/CentOS, it also makes sense to move this tracker from pagure.io and announce the change.

What to do :

  • freeze repository
  • migrate tickets to new tracker on gitlab
  • announce the change on devel list
  • update all doc and website with pointer to new tracker
  • post-migration : modify labels/priorities

This issue ticket was originally created here on a Pagure repository, centos-infra by Fabian Arrotin on Mon Jul 14 09:52:11 2025 UTC.

This issue ticket was automatically created by the Pagure Exporter.