summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--20190524-martin.txt14
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).