Hi Mathias,
On 18/12/17 14:09, Mathias Rav wrote:
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.
Up until recently these were indeed provided by Pooyah, but not directly related to the DOMjudge developers. Since we (Nicky Gerritsen in particular) are working on "official" docker images, we asked Pooyah if we could use that docker organization name.
This has now been taken offline to be transferred to us, so in the near future we hope to offer docker images there. I do not know whether the original images are still available elsewhere.
Best, Jaap On behalf of the DOMjudge developers