[shawn_w]

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

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

[kragen]

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.