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. _______________________________________________ users mailing list -- users@lists.genode.org To unsubscribe send an email to users-le...@lists.genode.org Archived at https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/message/VLZVSI2ZC5A4L4WW7HMM6K3YH6LBDGZW/
