Earlier today, dev1galaxy.org, devuan.org and possibly another of our
sites were offline due to a temporary outage at our hosting service, OVH.

Sites are up again. That's all I know.

fsmithred