Rocq Iris repo inaccessible

Stream: iris-lean

[Shreyas Srinivas]

The main iris repository at gitlab.mpi-sws.org seems unreachable to me. Is anybody else getting the same error?

[Notification Bot]

This topic was moved here from #iris-lean > Iris repo inaccessible by Shreyas Srinivas.

[Alex Bai]

Shreyas Srinivas said:

The main iris repository at gitlab.mpi-sws.org seems unreachable to me. Is anybody else getting the same error?

Same. I will ask around tomorrow.

[Michael Sammler]

It's back again.