Now that it's back to normal, I have two naive questions: 1) Isn't the purpose of mirror sites to serve as replacements when an even like this occurs ? However, during the event, it seems the mirror sites were unavailble either. Can we do something about it ?
2) Because of the event, the Travis verification was unavailable, because every time Travis verifies a PR, it needs to download things from us(2).metamath.org. Would it be possible to make local copies to avoid this? (for the metamath program, it is already on GitHub) Thanks, 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/e7947d08-7876-4a6d-b08d-a033241d37be%40googlegroups.com.
