Yeah, ideally we'd get all these files in git so we can use our regular process. But I don't want to too strongly push more work onto David and Mario (unless there is something I can do to help).
On October 9, 2022 1:08:14 PM PDT, "David A. Wheeler" <[email protected]> wrote: > > >> On Oct 9, 2022, at 3:05 PM, 'Samiro Discher' via Metamath >> <[email protected]> wrote: >> I hope this is somewhat readable, if something is still unclear, feel free >> to ask. And let's hope at least David is still alive .. (´ ∀ ` *) > >Me too :-). > >Mario can certainly accept changes to it. Changes in the "seed" are rare, but >I think we should use the same process: someone proposes it, someone else >reviews & approves it, then it can be merged (accepted). > >--- 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/7A642A67-E123-4824-B5E4-6DA398978F54%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/73CBDA7C-D4E4-4FF9-BE1D-012211D0EB62%40panix.com.
