We would like to change the hostname of the Extreme IX CentOS mirror from del-mirrors.extreme-ix.org to del-repos.extreme-ix.org

Thank you in advance!

Best regards,

NT