Looks like Inria GitLab repos are down (e.g., https://gitlab.inria.fr/fbesson/itauto), is this planned? Hoping for a temporary thing, because we have tons of packages depending on it...
I did not receive an announcement but this was apparently planned. The following can be found on the intranet of Inria: "Interruption du service https://gitlab.inria.fr du vendredi 30 juin 15h au lundi 03 juillet 11h". So, shortly, we have to wait for Monday 11am.
this unfortunately means that one can't install MathComp 2.0 from scratch for the next few days, due to (transitive) dependency on Menhir, which is hosted on Inria GitLab...
cc @François Pottier: this might be time to consider moving away from Inria GitLab (for other reasons besides these unreasonable downtimes, Inria GitLab is highly discouraged for use for any open source project).
I guess that this means that it is not useful to run a CI before gitlab is up again?
I'd say that CI can be run but the few jobs requiring Inria gitlab will fail and have to be rerun later (MC2 is still not in Coq CI).
It is btw. the second time in a few weeks that INRIA Gitlab is down for a more than a few hours.
The current interruption is for "reorganizing data". It is to prepare a move from the "Community Edition" version to the "Ultimate" version of gitlab (thus another interruption will happen at some time).
I'm afraid that Inria admins do not think at gitlab.inria.fr as a service used outside Inria (and they do not realize it is used so).
They just announced that the next interruption should be only a few hours. It will presumably be in September. They promise to study if they can keep the pages up during the interruption (which I understand as read-only?).
They just announced that gitlab.inria.fr is up again.
Karl Palmskog has marked this topic as unresolved.
Inria GitLab is down: https://gitlab.inria.fr
The perennial question(s): is this planned, and (when) will it be back?
works for me
tested from multiple IPs, had one request come through after a minute... something is seemingly going on
loading repos in pages such as https://gitlab.inria.fr/fbesson/itauto appears to take a minute or more, so as far as packages are concerned, I think that's equivalent to being down (tested from a couple of places)
I tried twice and got a timeout twice. I'm not following all Inria GitLab announcements, but I don't remember anything planned.
Last updated: Nov 29 2023 at 22:01 UTC