Use proper environment name for docker username

pull/87/head
yuvipanda 2017-10-04 17:41:56 -07:00
rodzic 6d80f2df8f
commit 8278f9178b
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -6,6 +6,6 @@ VERSION=$(git rev-parse --short HEAD)
docker build -t jupyter/repo2docker:${VERSION} .
if [[ "$TRAVIS_PULL_REQUEST" == "false" ]]; then
docker login -u ${DOCKER_USERNAME} -p "${DOCKER_PASSWORD}"
docker login -u ${DOCKER_LOGIN} -p "${DOCKER_PASSWORD}"
docker push jupyter/rep2docker:${VERSION}
fi