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
..
2018-10-28 14:31:23 +01:00
2018-10-13 10:36:36 +02:00
2018-09-20 22:02:55 -05:00
2018-04-05 11:07:42 -07:00
2018-01-02 22:49:13 +00:00
2018-08-20 13:00:18 -07:00
2017-10-27 06:10:31 +02:00
2017-11-14 13:19:08 +00:00
2018-08-15 08:38:08 +00:00
2018-08-17 10:23:20 +10:00
2018-08-17 10:23:20 +10:00
2018-08-17 10:23:20 +10:00