James E. Blair cbff0cc355 push-to-registry: handle undefined docker_images
So that this role may be used unconditionally in jobs which may
or may not actually build images, skip the tasks if the
docker_images variable is undefined.

Change-Id: I6ef0c80230de628f86f523878020c82ce81a1e60
2019-02-19 17:49:21 -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