fix(deploy.sh): handle docker hub separately

Using "docker.io" as the registry prefix leads to uninformative
errors when trying to push images.

Author: mboersma

_scripts/ci/deploy.sh _scripts/deploy.sh_scripts/ci/deploy.sh renamed to _scripts/deploy.sh

@@ -5,7 +5,8 @@
 
 cd "$(dirname "$0")" || exit 1
 
-docker login -e="$DOCKER_EMAIL" -u="$DOCKER_USERNAME" -p="$DOCKER_PASSWORD" docker.io
-DEIS_REGISTRY=docker.io IMAGE_PREFIX=deisci BUILD_TAG=v2-alpha make -C ../.. docker-build docker-push
+export IMAGE_PREFIX=deisci BUILD_TAG=v2-alpha
+docker login -e="$DOCKER_EMAIL" -u="$DOCKER_USERNAME" -p="$DOCKER_PASSWORD"
+REGISTRY='' make -C .. docker-build docker-push
 docker login -e="$QUAY_EMAIL" -u="$QUAY_USERNAME" -p="$QUAY_PASSWORD" quay.io
-DEIS_REGISTRY=quay.io IMAGE_PREFIX=deisci BUILD_TAG=v2-alpha make -C ../.. docker-build docker-push
+REGISTRY=quay.io/ make -C .. docker-build docker-push