As we are pretty much committed to github actions, we should
probably rely on it to push the images on tag.

This covers the missing bits.