On September 14, 2022 7:23:11 AM PDT, "David A. Wheeler" <[email protected]> wrote: > >Mirror folks: Comments? For all the reasons you suggest, I'd pick the design where the mirrors pull from the central site. But I'm fine with whatever you and the mirror operators want to do. -- 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/3D053EB1-6ABA-42EE-9DA3-C6E52C473568%40panix.com.
- [Metamath] Metamath mirrors: Current state & p... David A. Wheeler
- Re: [Metamath] Metamath mirrors: Current stat... Mingli Yuan
- Re: [Metamath] Metamath mirrors: Current stat... heiphohmia via Metamath
- Re: [Metamath] Metamath mirrors: Current ... David A. Wheeler
- Re: [Metamath] Metamath mirrors: Curr... Jim Kingdon
- Re: [Metamath] Metamath mirrors: Curr... heiphohmia via Metamath
- Re: [Metamath] Metamath mirrors: ... David A. Wheeler
- Re: [Metamath] Metamath mirrors: ... David A. Wheeler
- Re: [Metamath] Metamath mirrors: Current stat... Cris Perdue
- Re: [Metamath] Metamath mirrors: Current ... David A. Wheeler
