The git server at git.minix3.org appears to be down

[viktor....@gmail.com]

Hi, Been trying to clone from git://git.minix3.org/_some project_.git but I'm getting connection refused.

There are some documentation on the wiki also suggesting cloning git.minix3.org so I suspect something is broken. The repos are visible using the web interface at https://git.minix3.org at least. Maybe a firewall issue or a daemon not running?

Best Regards

Viktor M

[Sambuc Lionel]

Hello,


I am looking into this, somehow the git daemon is not running anymore.

In the meantime, I can only point you out to the github mirror:

https://github.com/Stichting-MINIX-Research-Foundation/minix


Kind regards,

Lionel Sambuc

------------------------------------------------------------------------

> --
> You received this message because you are subscribed to the Google Groups "minix3" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to minix3+un...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

[stux atMinix]

This is rather late in the game for various reasons, but I still wanted to reply to this item. 

At the time the OP seemed to want to build an older version of minix and I thought they needed a repo that wasn't mirrored in github (may have been the gnu-buildsystem? but it's been so long I don't remember).  Setting aside any personal forks or forks of already-completed projects, are there any other repositories and/or forks that should also be mirrored into github?

Thanks,

-stux

> To unsubscribe from this group and stop receiving emails from it, send an email to min...@googlegroups.com.