The main page of the site begins with "Over 23,000 proofs". It looks like it could be updated.
Glauco Il giorno lunedì 20 dicembre 2021 alle 04:12:14 UTC+1 David A. Wheeler ha scritto: > > > > On Dec 19, 2021, at 8:11 PM, Jim Kingdon <[email protected]> wrote: > > > > What part of the website? Some parts are definitely already open for > pull request - for example > https://github.com/metamath/set.mm/blob/develop/mmset.raw.html - but if > you are thinking of something which isn't in git yet, I believe David > Wheeler has access (and, I presume, a plan to get it into git although I > want to be patient because I'm sure there is a lot to do just now). > > I have access to the underlying website, as does Mario. > > Unfortunately, I won't be able to do much this month. There's the > holidays, my father is having some very significant health issues, & my > work has time-sensitive tasks right now. I expect that Mario & I will be > working to get things moving, though, as soon as we can. > > I have at least 3 items I want to see: > 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. > > --- 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/8713f516-674b-4efe-812c-3d975b5225d2n%40googlegroups.com.
