Publish images to Docker Hub

[jkbecker]

As discussed in chat, keeping this up to date only makes sense if updates get pushed to Docker Hub as well.
Is there an established process that we can piggyback on, or should we build a pipeline for this (there seem to be Github Actions that can do this automatically)?

[argilo]

I'd be fine with doing this manually in the short term, but GitHub Actions (or similar) would be ideal.

[jkbecker]

@mbr0wn, as I understand you currently have push access to Docker Hub? Is this something you can share or should it stay with you? I'm happy to write a build & push script that builds these containers and pushes the result with the appropriate tags etc so it will be manual, but near-zero work (aside from compile time)... Alternatively, what's your take on GitHub Actions-based build&push scripts? Could we store the push token somewhere in the project backend so that this could happen automatically via some CI pipeline?