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