Change genode github source code link

Hello, the github source code link doesn't work when I try to download the source code. https://genode.org/download/repository

I have to change the link from:

To download the source code, use git clone git://github.com/genodelabs/genode.git

When I run this command, it stalls for several minutes before giving up. I googled why it wasn't working and the answers said you now have to use HTTPS:// instead of GIT:// for git clone of github repositories

So I advise to change the link on the website to:

To download the source code, use git clone https://github.com/genodelabs/genode.git

This works for me every time, but the git version does not work even when trying several times.