Oh... and additionally, I believe Mario is now the only active 'owner' of this mailing list, and as such might like to consider appointing some more 'owners'?
https://groups.google.com/g/metamath/about (If I'm not mistaken about Jason Orendorff's last post here being 2018) Sorry for double-posting, this only occurred to me when I went to check that my first message hadn't been eaten by Google Group's spam filter. Best wishes, Antony On Mon, Dec 20, 2021 at 3:09 PM Antony Bartlett <[email protected]> wrote: > 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%2BBQY8nfZQGUJWvLQ_VVyABokSfV88D3mv%3DA-AhtxrRStg%40mail.gmail.com.
