Re: [arch-devops] infrastructure.git now on gitlab.archlinux.org

On Sat, 2020-05-16 at 18:04 +0200, Jelle van der Waa wrote:

As we are moving to gitlab.archlinux.org for our projects, the infrastructure repository has been moved to gitlab. The git.archlinux.org repository is disabled.

Please switch your local git repository remote:

I switched to the new repository. Everything went smoothly. Nice work! Cheers, Sébastien "Seblu" Luttringer