Zulip Chat Archive

Stream: general

Topic: mathlib_docs repository is corrupt

Eric Wieser (Oct 20 2020 at 16:11):

Visiting https://github.com/leanprover-community/mathlib_docs gives:

Mario Carneiro (Oct 20 2020 at 16:21):

Github is apparently having technical issues. We sent them a message and they are looking into it

Bryan Gin-ge Chen (Oct 21 2020 at 03:12):

The repo is back up again!

Last updated: Dec 20 2023 at 11:08 UTC