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).
On 12/19/21 4:44 PM, Scott Fenton wrote:
Hi all,
With Norm's passing, does anyone have access to the webpage anymore?
It's falling a little out of date with the current state of set.mm
<http://set.mm>?
-Scott
--
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]
<mailto:[email protected]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/CACKrHR8tnhVGYeuGnnOTZzNmn92nBBYn%3DEZsuVgQfUeegZPzJA%40mail.gmail.com
<https://groups.google.com/d/msgid/metamath/CACKrHR8tnhVGYeuGnnOTZzNmn92nBBYn%3DEZsuVgQfUeegZPzJA%40mail.gmail.com?utm_medium=email&utm_source=footer>.
--
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/68d1acd0-ddc1-d8da-6b21-cae05d1939f7%40panix.com.
