bau-ha.us is down - we don't know the cause yet, we can't reach both machines and also not the serial-console interfaces - we suspect there is some hiccup at the university datacentre - let's hope for the best - we keep you updated!
@bauhaus That doesn't sound good 😢 I hope you come back online soon.
update: contacts told us there were problems with the cooling over the last few days and non-essential machines are probably shut down - looks like we are deemed non-essential (to be honest, overall they might have a point, but... we think we are essential :)
I have to call them tomorrow, we are likely down until tomorrow, maybe longer if I can't convince them that we are essential...
😭