if [[ "$ECODE" == "0" ]]; then
docker_push arvados/api
docker_push arvados/compute
docker_push arvados/doc
docker_push arvados/workbench
docker_push arvados/keep
if [[ "$ECODE" == "0" ]]; then
docker_push arvados/api
docker_push arvados/compute
docker_push arvados/doc
docker_push arvados/workbench
docker_push arvados/keep