ci: push docker images to both docker hub and GCR (!5323) · Merge requests · Administrator / sourcegraph

Administrator requested to merge ci-push-gcr into master Aug 21, 2019

Created by: ggilmore

This PR changes our CI pipeline to push images to both hub.docker.io and Google Container Registry (GCR). GCR has a security scanning feature that we can use to perform checks on all of our published Docker images (we'll still tell our users to download the images from hub.docker.io)

cc @sourcegraph/distribution

ci: push docker images to both docker hub and GCR

Merge request reports