dear Olaf,
many thanks for your message! as you know I'm making great use of your
base images for what is being built here (6.6k pulls!)
https://hub.docker.com/r/dyne/devuan a docker image repo processed and
pushed by our own Jenkins infra at Dyne.org rather than using the docker
hub PaaS.
Also the docker hub I'm publishing this is a "non-official" user account
rather than an organization registered as open-source, something I've
tried to do in the past with folks at Docker.com with no success due to
their availability following the process... I mention this just to say
that yes, there can be improvements, but hey all our time is limited.
All considered I suggest we keep things as they are and either keep
using your current gitlab account paying 60$ per year with Devuan's
budget.
If you really like to move out of gitlab then I would have no problem
updating the docker base images to point at your local repo.
In an ideal world I guess we would integrating your scripts into
Devuan's gitea, but for that we'll need help from other volunteers that
know better than me what it entails.
cheers