diff options
-rw-r--r-- | 20190524-martin.txt | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/20190524-martin.txt b/20190524-martin.txt index 5ce8f63..2dd68f4 100644 --- a/20190524-martin.txt +++ b/20190524-martin.txt @@ -8,12 +8,12 @@ affects: [pr_ci] --- 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 is -expected to be fixed on Tuesday. +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 host has already been removed from gitweb, rsync and keyserver -rotations. However, users can still experience issues until DNS caches -expire. +Pull request CI is currently inactive. It is in process of being +migrated to another machine, and will resume action afterwards. -Pull request CI is currently inactive. It will resume action once -migrated to another machine. +The ETA for fixing the original machine and restoring its functionality +as a mirror is Tuesday (2019-05-28). |