Forge downtime 2018-10-30

Copy of the recent announcement on the forge

The forge and related websites will be down for a few hours on 2018-10-30 starting at around 21:00 CEST.

I will do my best to keep the downtime as short as possible.

In the meantime, you can use the “static” website that has been put in place:

Expected impact:
opam will fail to download data for some projects still hosted on

1 Like