[darcs-devel] hub.darcs.net - ssh fail

Gian Piero Carrubba gpiero at rm-rf.it
Sun Jun 17 06:33:46 UTC 2018


* [Sat, Jun 16, 2018 at 08:33:26PM +0200] Henning Thielemann:
>darcs push to hub.darcs.net currently fails. Seems to be a problem with 
>SSH since the web server seems to be running.

darcs hub is currently down and it seems it will take a bit for the 
issue to be solved [0][1]. I've seen on IRC that Simon is thinking about 
moving darcs hub to another VM, but it will require a DNS change and 
that won't be quick either.

Ciao,
Gian Piero.

[0] https://lists.osuosl.org/pipermail/darcs-users/2018-June/027328.html
[1] https://github.com/apache/couchdb/issues/1314


More information about the darcs-devel mailing list