It's possible to publish Docker images through Github, too: https://github.com/pgRouting/docker-pgrouting/packages?package_type=Docker This could be an alternative to Docker Hub and doing this in an automated way should not cause much extra effort.
It's possible to publish Docker images through Github, too: https://github.com/pgRouting/docker-pgrouting/packages?package_type=Docker
This could be an alternative to Docker Hub and doing this in an automated way should not cause much extra effort.