[arch-mirrors] Server rename

Hello everyone. I want to rename my mirror names to other ones: Old names: -> http://mirrors.prok.pw/archlinux/ -> https://mirrors.prok.pw/archlinux/ -> rsync://mirrors.prok.pw/archlinux/ New names: -> http://mirror.aur.rocks/ -> https://mirror.aur.rocks/ -> rsync://aur.rocks/archlinux/ Old names still works, but I prefer new one for distributing over mirrorlist /etc. Best regards, Sergey.