diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2019-05-24 23:54:06 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2019-05-24 23:54:06 +0200 |
| commit | c3ce19a227b585950d1d8c58b895b91f92dda694 (patch) | |
| tree | 4a66c72f8922ab067f44789f153b31ade1ce94ab | |
| parent | martin outage (diff) | |
| download | notices-c3ce19a227b585950d1d8c58b895b91f92dda694.tar.gz notices-c3ce19a227b585950d1d8c58b895b91f92dda694.tar.bz2 notices-c3ce19a227b585950d1d8c58b895b91f92dda694.zip | |
Improve martin notice wording as suggested by k_f
Signed-off-by: Michał Górny <mgorny@gentoo.org>
| -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). |