---
title: Repository mirror & CI stability issues
active: false
type: maintenance
created_at: 2018-05-22 21:00
expire_at: 2018-06-05 12:00
affects: []
force_state: maintenance
---

The server currently running repository mirror & CI servers is currently
having major network issues.  This results in scripts frequently
crashing, which could cause the following issues:

- git syncing mirror updates occasionally stopping and requiring
  a manual fix to resume,

- pull request CI runs crashing and requiring repush to retry,

- major delays in pull request assignment.

There is no need to report those problems as we receive mail notices
of every crash.

We are in progress of migrating all those services to other servers.
However, this may take a significant time.  We are sorry for
the problems.