On 1/23/22 1:44 PM, David A. Wheeler wrote:
I propose that we automatically update from us2.metamath.org to us.metamath, though perhaps not as often. E.g., maybe us2.metmath.org is updated every day, while us.metamath.org is updated only once a week (or on certain days of the week). That way, people could merge in changes & see the final effect, while giving a little time to actually make the change. We could force an out-of-band update earlier on special cases.
Sounds good to me. This is some approximation of what Norm had been doing manually, and I'm all in favor of making it more automatic since the interesting judgement calls happen before things get merged anyway.
-- 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/b267d11e-65d9-2595-681f-de9db6edda7e%40panix.com.
