I'm glad you posted this notice here. By complete coincidence this was
the same day that I had merged a pull request and planned to tell
various mathematicians about it once the website generation had done
(they are the ones who had come up with the proof which I formalized in
metamath). But no worries, a day later is no problem at all. It is just
I now know to wait, rather than continuously hitting reload and trying
to remember what time of day it runs.
Thank you for all you do to keep the website running! Don't be quite so
invisible that we don't get a chance to thank you.
On 2/13/25 08:25, 'David A. Wheeler' via Metamath wrote:
The metamath website system (metamath.org and friends) required some emergency
maintenance.
From an abundance of caution I rebooted the system, so it was down for a
minute earlier today.
This reboot halted its daily website regeneration. Daily regeneration will
start again tomorrow.
Sorry for the inconvenience. I try to make this stuff 100% invisible, so
everyone
can focus on mathematics instead.
--- David A. Wheeler
--
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 visit
https://groups.google.com/d/msgid/metamath/4fb91560-a5fd-4278-9c6a-c96237338709%40panix.com.
