Thank you for putting in the time and effort. I knew that Norm's
planning for this was nonzero but I'm not surprised that it didn't go as
smoothly as hoped especially the first time.
Let us know if there is anything we can help with (and if you just want
encouragement and patience, I can do that too!).
On 1/17/22 12:47 PM, David A. Wheeler wrote:
All:
I wanted to give everyone an update that we are making
big progress on getting metamath.org updated.
Norm Megill normally generated the metamath.org site from
the latest version of the set.mm repo. Norm did this by logging in to
us2.metamath.org, regenerating everything, and then sending
the results to metamath.org. While we'd thought we'd set things up
if he passed, I couldn't log in to us2.metamath.org to get things going.
I'm now logged into us2.metamath.org & I'm checking through the
steps to regenerate the main site. So in the not too distant
future the main site should be updated. If something goes wrong,
please let me know so that Mario or I can correct it.
My sincere thanks to Susan Cass, Norm's partner, for
helping me regain control over the metamath systems so
we can keep them going. We had started some steps to get
ready for this, but the timing of Norm's passing was a surprise so we weren't
as ready as I guess we should have been. I expect we'll eventually make
some larger changes in the long term to keep things going.
However, right now we're just trying to quickly get things working as they were.
--- 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 on the web visit
https://groups.google.com/d/msgid/metamath/a20dbe12-dcf7-62c7-02c5-e1ea9f4fd6d5%40panix.com.
