Instructions to clone repo cause access right issues
Unauthenticated users can not use ssh to clone various repositories from gitlab. They must use https instead.
For instance, in section 3.3: Installing the toolchain, this is what I get:
$ git clone --recursive git@gitlab.redox-os.org:redox-os/libc
git@gitlab.redox-os.org: Permission denied (publickey).
fatal: Could not read from remote repository.
Instead, I must use:
$ git clone --recursive https://gitlab.redox-os.org/redox-os/libc
Cloning into 'libc'...