> Sadly their gitlab instance at the time was "email the dev to set up an account", so I just left it there. The Gitlab had a "sign in with Github" feature at

> Sadly their gitlab instance at the time was "email the dev to set up an account", so I just left it there. The Gitlab had a "sign in with Github" feature at least since August 2019, which is when I created my account there.