<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif">All done - once I remembered to add my SSH pubkey to my GitLab account.</div><div class="gmail_default" style="font-family:verdana,sans-serif">Cheers,</div><div class="gmail_default" style="font-family:verdana,sans-serif">~p</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, 17 May 2020 at 02:04, Jelle van der Waa <<a href="mailto:jelle@vdwaa.nl">jelle@vdwaa.nl</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">As we are moving to <a href="http://gitlab.archlinux.org" rel="noreferrer" target="_blank">gitlab.archlinux.org</a> for our projects, the<br>
infrastructure repository has been moved to gitlab. The<br>
<a href="http://git.archlinux.org" rel="noreferrer" target="_blank">git.archlinux.org</a> repository is disabled.<br>
<br>
Please switch your local git repository remote:<br>
 git remote set-url origin<br>
ssh://<a href="http://git@gitlab.archlinux.org:222/archlinux/infrastructure.git" rel="noreferrer" target="_blank">git@gitlab.archlinux.org:222/archlinux/infrastructure.git</a><br>
<br>
The repository enforces that all commits should be signed and<br>
automatically pushes changes to our Github repository.<br>
<br>
For non-trivial changes we strongly recommend creating a merge request<br>
instead of pushing directly to master like you're used to.<br>
<br>
To get onto gitlab, browse to <a href="http://gitlab.archlinux.org" rel="noreferrer" target="_blank">gitlab.archlinux.org</a>, sign in with "Arch<br>
Linux SSO", follow the "forgot password" flow and use your archweb email<br>
address. Two factor authentication is enforced for all Devops users.<br>
<br>
Greetings,<br>
<br>
Jelle<br>
<br>
</blockquote></div></div>