minix3.org is down

316 views
Skip to first unread message

Justin Handville

unread,
Dec 21, 2023, 11:38:21 AM12/21/23
to minix3
Hopefully, someone in this group can get in contact with those who have control of this domain.

stux...@gmail.com

unread,
Dec 24, 2023, 3:38:10 PM12/24/23
to minix3
Thanks for the heads up (and for danmorg on IRC).  I was informed there was a security issue and the site is being transferred.  DNS updates are expected to take about a week. 

Happy New Year!

Han Yang

unread,
Dec 26, 2023, 11:23:02 AM12/26/23
to minix3
yeah, also noticed this today, I am still reading the documents from the Developer guide, waiting for minix3.org to come back soon :)

Han Yang

unread,
Dec 26, 2023, 11:23:02 AM12/26/23
to minix3
Because https://git.minix3.org/index.cgi also cannot be visited, is this a DNS issue?
On Thursday, December 21, 2023 at 5:38:21 PM UTC+1 Justin Handville wrote:

Rolf Stinner

unread,
Dec 26, 2023, 12:18:43 PM12/26/23
to min...@googlegroups.com
Dear Han,

I just checked and I had no problem at all  to access http://minix3.org or  https://git.minix3.org/index.cgi

Regards
Rolf

Gesendet mit BlueMail

KenUnix

unread,
Dec 26, 2023, 2:58:32 PM12/26/23
to min...@googlegroups.com

I also just checked and I had no problem at all  to access http://minix3.org or  https://git.minix3.org/index.cgi

-Ken

--
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.
To view this discussion on the web visit https://groups.google.com/d/msgid/minix3/6111151a-5523-484c-a09b-1c1b722cd794%40gmail.com.


--
End of line
JOB TERMINATED


Reply all
Reply to author
Forward
0 new messages