Hi, we move our mirror (mir.archlinux.fr) to another server, the name will remain the same, but not the IP. Is there something to do to validate the migration ? Mirror: http://mir.archlinux.fr/$repo/os/$arch Old IP: 213.186.62.207 New IP: 91.121.141.57 Thanks.