That seems reasonable for contributions to the main sections of the databases. I'd propose keeping a shorter length for mathbox submissions however. Personally, I'd like to see my own section of set.mm update more than weekly.
-Scott On Mon, Dec 13, 2021 at 1:20 PM David A. Wheeler <[email protected]> wrote: > Sadly, Norm is no longer with us. We're going to have to work out next > steps. > > Norm typically made the final decision of what to accept or not accept > into the set.mm database. > We're going to have to find another process. > > I would suggest, for now, that proposed changes continue to be added as > GitHub pull requests. > Obviously any change *must* pass the automated checks to be considered for > merging. > Others can "approve" by going to the "Files Changed" tab and click on > "review changes". > If you approve, click on "approve" and then "submit review". Or you could > just say "+1" as a comment. > If after several days (I suggest 5) there's another approver who has > *previously* had a change approved, > and no disagreement, I suggest merging it. If there's disagreement, > discuss in the comments to > try towards resolution (& if it's more contentious, also involve the > mailing list). > > We don't have to use this process. I'm just suggesting *a* process we can > use. > If anyone would prefer another process, please speak up. > > --- 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/23A8AB6C-886F-4A1C-BBAC-76F36FCEC240%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/CACKrHR9W9%2Bzb21AV2wf7G9MjmacrP2d3SH3Efpcn_gG8HNX3mw%40mail.gmail.com.
