I have been unable to access US2.metamath.org for the past 24 hours. Regards Roger Witte On Tuesday, January 18, 2022 at 10:24:47 PM UTC Benoit wrote:
> Thanks David. This should be debated (and there is no urgency), but I > think it would be nice to have us.metamath.org purposefully "lagging" > behind us2, in order to really have two different versions and be able to > compare them. I do not know if the lagging should be expressed in terms of > duration, or number/importance of commits, or if us2 should be updated with > the "develop" branch and us with the "master" branch... > > When I asked this to Norm a few years ago, he created the folder " > http://us2.metamath.org:88/old/mpeuni/"; which contains somewhat older > versions (but I do not know exactly how much older, nor if it is in terms > of days or commits), and I sometimes find it convenient. If we have a > consistent rule for us/us2, then this "old/" folder could be removed. > > Benoît > -- 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/d585e956-d31a-46c5-94bc-4dd59eaec261n%40googlegroups.com.
