* [gentoo-proxy-maint] Repo mirror & CI server is having problems
@ 2018-05-22 20:07 Michał Górny
0 siblings, 0 replies; only message in thread
From: Michał Górny @ 2018-05-22 20:07 UTC (permalink / raw
To: gentoo-dev; +Cc: gentoo-proxy-maint
Hi, everyone.
I'm sorry to say that the server currently running repo mirror & CI
services is having serious network problems. Besides intermittent
delays, this causes the following problems:
1. Repository mirrors occasionally crash to the point of requiring
manual fixing. No need to report that, I get cron mail every time it
happens.
2. Pull requests crash frequently. Preferably just redo the commit
(e.g. 'git commit --amend --sign' to get a fresh signature) and repush
to have it run again.
We are currently working on moving the services elsewhere but given
the size of it and our limited time it's going to take some time.
I'm sorry for the trouble and thanks for your continued support.
--
Best regards,
Michał Górny
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2018-05-22 20:07 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2018-05-22 20:07 [gentoo-proxy-maint] Repo mirror & CI server is having problems Michał Górny
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox