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