The data centre providing European/Asian mirror for gitweb, rsync and keyserver services, as well as running pull request CI has suffered a major power failure, requiring us to shut the host down. It has already been removed from gitweb, rsync and keyserver rotations. However, users can still experience issues until DNS caches expire.

The ETA for fixing the original machine and restoring its functionality as a mirror is Tuesday (2019-05-28).

Update: 22:15Z

Pull request CI has been successfully deployed on another machine and has resumed processing the queue.