should be fixed now On Wed, Oct 25, 2023 at 3:39 AM Thierry Arnoux <[email protected]> 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 <[email protected]> > 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 [email protected]. >> 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 [email protected]. > 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJSvHgc6Um4VXSNSQtn8ZUt1XMG2UZ1cHS9fN5BGwkOxboA%40mail.gmail.com.
