On 11/19/25 02:14, Mario Carneiro wrote:
I think this is because while metamath-website-seed is re-pulled every
day as part of the site rebuild, metamath-website-scripts is only
re-pulled when the linode machine is rebooted, which has basically
happened only once(?), just now, since we started using this workflow
after Norm passed in 2021. So we've been using an old script since
then... Ideally the daily script would also replace itself with the
latest script from metamath-website-scripts to avoid this issue.
Oooh, nice discovery. I think this might explain some of the strange
symptoms where we've tried to fix things and it hasn't been clear (at
least to me) why some things were and were not happening (sorry I don't
have details top of mind, this was probably a year or more ago).
--
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/835e7fbf-60cb-468f-8b57-4c87e57e242f%40panix.com.
