> 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/2488B86D-EE2E-435D-96E4-58F28B9C89E0%40dwheeler.com.
