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