I've started implementing mirroring here: https://github.com/metamath/metamath-website-scripts/pull/1 Click on the "Files Changed" tab for all the details.
I'll need *real* public keys from the mirror maintainers for this to be useful. For the moment I've stubbed that out. It's possible this won't work at first, even with real public keys, but if so we'll work out the bugs until it does. I don't expect any serious problems. I still haven't heard from: - at.metamath.org - Austria [courtesy of Digital Solutions Marco Kriegner] - de.metamath.org - Germany. --- 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/89504F86-1D12-48B9-A559-7783EF99F51E%40dwheeler.com.
