Re: [arch-dev-public] repos.archlinux.org has been migrated to a new server