Merge PR #17: username changed to push in the good Docker hub account

This commit is contained in:
Davide Beatrici 2020-07-19 01:10:44 +02:00 committed by GitHub
commit c42113d712
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -8,6 +8,6 @@ docker build -t mumo .
docker images
if [ "${TRAVIS_PULL_REQUEST}" == "false" ]; then
docker tag mumo $DOCKER_USERNAME/mumo
docker push $DOCKER_USERNAME/mumo
docker tag mumo mumblevoip/mumo
docker push mumblevoip/mumo
fi