docker.io/domjudge/domserver disappeared on Dec 11th

Mathias Rav m at strova.dk
Mon Dec 18 14:09:33 CET 2017


Until December 11th, there was a "domjudge" user on Docker Hub
hosting two images:

https://hub.docker.com/r/domjudge/domserver/
https://hub.docker.com/r/domjudge/judgehost/

Since December 11th this user seems to have disappeared from the site.
Does anyone know who maintained the images and why they are now gone?
They have been working just fine for me.

Sorry if this list is not the appropriate place for the question.

Best regards,
Mathias Rav
PhD student at Aarhus University, Denmark



More information about the DOMjudge-devel mailing list