Crap, I deleted the site again. Sorry folks, it will be back in 3 hours. On Wed, Oct 25, 2023 at 4:54 AM Mario Carneiro <di.g...@gmail.com> wrote:
> Oh, this is probably because the site build was done using the set.mm > branch from https://github.com/metamath/set.mm/pull/3524. I'll have to > rerun the whole thing to update the website with the latest stuff from the > develop branch, which is probably a good test just to make sure that the > last minute issues are fixed this time now that all the branches have > landed, but it apparently takes about 3 hours to run. (I can't wait for the > 400x speedup from https://groups.google.com/g/metamath/c/eqsqv7WjQPs...) > > On Wed, Oct 25, 2023 at 4:45 AM Thierry Arnoux <thierry.arn...@gmx.net> > wrote: > >> Thanks! That page now loads Ok, even though "most recent" shows theorems >> from 24-Sep-2023. >> >> The link on the home page https://us.metamath.org/ still points to >> http://us2.metamath.org:88/mpeuni/mmrecent.html but that's a different >> issue. >> >> >> On 25/10/2023 10:10, Mario Carneiro wrote: >> >> should be fixed now >> >> On Wed, Oct 25, 2023 at 3:39 AM Thierry Arnoux <thierry.arn...@gmx.net> >> wrote: >> >>> https://us.metamath.org/mpeuni/mmrecent.html >>> >>> Still throws a 404. >>> On 25/10/2023 09:33, Mario Carneiro wrote: >>> >>> Sorry about that, I chose the wrong time to test the new website build >>> process and the cron job started running in the middle of it, and >>> unfortunately killing the cron job just made it copy an empty website to >>> the live site. Things should be back up now. >>> >>> On that note, what is now up is the new website build, so everyone >>> please try clicking around and make sure everything seems to be working >>> (not just theorem pages but also links to the downloads and other stuff on >>> the homepage, the GIF and UNI directories for all five supported databases, >>> and the symbols and mmsolitaire pages). >>> >>> On Wed, Oct 25, 2023 at 3:28 AM Rohan Ridenour <catisflu...@gmail.com> >>> wrote: >>> >>>> https://us.metamath.org/ 403s, other pages 404. >>>> -- >>>> You received this message because you are subscribed to the Google >>>> Groups "Metamath" group. >>>> To unsubscribe from this group and stop receiving emails from it, send >>>> an email to metamath+unsubscr...@googlegroups.com. >>>> To view this discussion on the web visit >>>> https://groups.google.com/d/msgid/metamath/bddc8891-7fae-467b-b794-ca84f2681fc8n%40googlegroups.com >>>> <https://groups.google.com/d/msgid/metamath/bddc8891-7fae-467b-b794-ca84f2681fc8n%40googlegroups.com?utm_medium=email&utm_source=footer> >>>> . >>>> >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "Metamath" group. >>> To unsubscribe from this group and stop receiving emails from it, send >>> an email to metamath+unsubscr...@googlegroups.com. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/metamath/CAFXXJSvt7E89qnTKXTppUv1Awsy5SCB-YiBbDBHYfn-hGr%2B7HQ%40mail.gmail.com >>> <https://groups.google.com/d/msgid/metamath/CAFXXJSvt7E89qnTKXTppUv1Awsy5SCB-YiBbDBHYfn-hGr%2B7HQ%40mail.gmail.com?utm_medium=email&utm_source=footer> >>> . >>> >>> -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJSue9mHO465zGwgJnGBn8cCb8CLaxk8HMGvwYK4-b7iVag%40mail.gmail.com.
