James E. Blair a358f21736 Use buildset registry push endpoint ... When copying images from the intermediate registry to the buildset registry, use the new push endpoint of the dual-registry system. Also, use the push endpoint after a docker build to push the new image to the buildset registry. Change-Id: I3a11036bb9fb7cb3457a3d744fa83647c1b1b085		2019-02-21 14:15:45 -08:00
..
main.yaml	Use buildset registry push endpoint	2019-02-21 14:15:45 -08:00