[arch-dev-public] [PATCH] Get rid of all references to repos.archlinux.org