Project Dolphin のサーバが止まってる

Project Dolphin

http://www.project-dolphin.nl/

1/29ころからPushできない。サーバが落ちているようだ。
以前も気づかずサーバが移動していることがあったが。