| 1 |
Hi, everyone. |
| 2 |
|
| 3 |
I'm sorry to say that the server currently running repo mirror & CI |
| 4 |
services is having serious network problems. Besides intermittent |
| 5 |
delays, this causes the following problems: |
| 6 |
|
| 7 |
1. Repository mirrors occasionally crash to the point of requiring |
| 8 |
manual fixing. No need to report that, I get cron mail every time it |
| 9 |
happens. |
| 10 |
|
| 11 |
2. Pull requests crash frequently. Preferably just redo the commit |
| 12 |
(e.g. 'git commit --amend --sign' to get a fresh signature) and repush |
| 13 |
to have it run again. |
| 14 |
|
| 15 |
We are currently working on moving the services elsewhere but given |
| 16 |
the size of it and our limited time it's going to take some time. |
| 17 |
I'm sorry for the trouble and thanks for your continued support. |
| 18 |
|
| 19 |
-- |
| 20 |
Best regards, |
| 21 |
Michał Górny |
Archives