I agree with David's proposed items: > 1. Properly-working "https:". Eventually "http:" should do only one thing: redirect to the corresponding "https:". > 2. Automated regeneration of the website from the repo contents, with no human action. > 3. Confidence that everything will keep working & be easily maintainable even after someone becomes incapacitated/dies.
but for now, is it possible to regenerate the theorem pages (even if it is less frequent and manual, while waiting for automation) ? Currently, the page http://us2.metamath.org:88/mpeuni/mmrecent.html indicates "Last updated on 8-Dec-2021 at 4:21 AM ET." I don't remember how it was done, but generally, a change was on us2.metamath.org at most 24h after a PR was merged (and on us.metamath.org another 24h/48h after that). It is getting a bit difficult to track the changes made in the past almost-one-month. Benoît -- 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/f168b0a7-ac4d-4f7e-b88a-22cd569c4241n%40googlegroups.com.
