Re: [arch-devops] [arch-dev-public] deprecating git.archlinux.org