[Dune-devel] Problems pushing to repos (Internal API unreachable)

Markus Blatt markus at dr-blatt.de
Sun Jan 26 20:48:41 CET 2020


On Sun, Jan 26, 2020 at 04:43:33PM +0100, René Heß wrote:
> thanks for the notification. Some service in the docker container failed
> to restart after this nights backup. Should be working again.
>

Hi,

thanks a lot. Works, indeed.

Cheers,

Markus




More information about the Dune-devel mailing list