[GitHub Action] Push to Docker Hub

[FrancescoSaverioZuppichini]

We can add an action to build and push a container to our hub

[paulguerrie]

I like this automation idea, but I can't think of a repo we use where the final deploy step is pushing a docker image. Usually the deploy is something like, build docker, push docker, then run another script that deploys some new cloud infra. Can scripts like that be included in github actions?

[FrancescoSaverioZuppichini]

@paulguerrie thanks for the explanation. This is very interesting, I think it should work if we keep main the place where we push stuff that will result in a docker build. If this sounds too complicated/time consuming, then probably it is and we can ditch this idea