We currently push on each merge to GCR but it would be better to do that to docker.io instead for visibility