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

All done - once I remembered to add my SSH pubkey to my GitLab account. Cheers, ~p

On Sun, 17 May 2020 at 02:04, Jelle van der Waa jelle@vdwaa.nl 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: git remote set-url origin ssh://git@gitlab.archlinux.org:222/archlinux/infrastructure.git

The repository enforces that all commits should be signed and automatically pushes changes to our Github repository.

For non-trivial changes we strongly recommend creating a merge request instead of pushing directly to master like you're used to.

To get onto gitlab, browse to gitlab.archlinux.org, sign in with "Arch Linux SSO", follow the "forgot password" flow and use your archweb email address. Two factor authentication is enforced for all Devops users.

Greetings,

Jelle