I've just been on the site, and have noticed at least two seperate "Your
comments are welcome: email Normal Megill" page footers, that you might
also consider changing.
Terribly sad, rest in peace Norm!
Best wishes,
Antony
On Mon, Dec 20, 2021 at 3:12 AM David A. Wheeler <[email protected]>
wrote:
>
>
> > 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
> .
>
--
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/CAJ48g%2BDzPrHuAr7A51M-HnXVqLMf90RHqQGKLxaJXmBSwGvLYg%40mail.gmail.com.
