diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2019-05-25 00:16:09 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2019-05-25 00:16:09 +0200 |
| commit | 40e7e12f03433dc18f04129e3e9cdd8539f718bb (patch) | |
| tree | 9b2a0aafc789f7b153c5b4e878e2c42ce3d81f4d | |
| parent | martin notice also affects gitweb & rsync (diff) | |
| download | notices-40e7e12f03433dc18f04129e3e9cdd8539f718bb.tar.gz notices-40e7e12f03433dc18f04129e3e9cdd8539f718bb.tar.bz2 notices-40e7e12f03433dc18f04129e3e9cdd8539f718bb.zip | |
martin: pull request CI moved successfully
Signed-off-by: Michał Górny <mgorny@gentoo.org>
| -rw-r--r-- | 20190524-martin.txt | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/20190524-martin.txt b/20190524-martin.txt index bb9714a..83e1276 100644 --- a/20190524-martin.txt +++ b/20190524-martin.txt @@ -3,8 +3,9 @@ title: Europe/Asia gitweb/rsync/keys mirror and pull request CI outage active: true type: outage created_at: 2019-05-24 19:00 +eta: 2019-05-29 00:00 expire_at: 2019-05-29 00:00 -affects: [pr_ci, gitweb, rsync] +affects: [gitweb, rsync] --- The data centre providing European/Asian mirror for gitweb, rsync and keyserver services, as well as running pull request CI has suffered @@ -12,8 +13,10 @@ 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. -Pull request CI is currently inactive. It is in process of being -migrated to another machine, and will resume action afterwards. - 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. |