undefined | Better HN

0 pointsshawn_w1y ago0 comments

>minix exists (though their source control system just fell offline this year),

https://git.minix3.org/index.cgi seems online?

0 comments

this started failing, i think, last week:

    : ~; git clone git://git.minix3.org/minix.git 
    Cloning into 'minix'...
    fatal: Could not read from remote repository.

    Please make sure you have the correct access rights
    and the repository exists.

j / k navigate · click thread line to collapse

0 pointsshawn_w1y ago0 comments

>minix exists (though their source control system just fell offline this year),

https://git.minix3.org/index.cgi seems online?

0 comments

kragen1y ago

this started failing, i think, last week:

    : ~; git clone git://git.minix3.org/minix.git 
    Cloning into 'minix'...
    fatal: Could not read from remote repository.

    Please make sure you have the correct access rights
    and the repository exists.

j / k navigate · click thread line to collapse