Build,opendatakit.org server is dead

Does anyone have any idea why the ODK Build Server is dead?

Secondly, how long will this take to be rectified?

Yaw? Anyone?

Thanks