Fix docker push with new incremental tags pt. 3

This commit is contained in:
Sandro Jäckel 2019-07-06 17:32:35 +02:00
parent fe9875343f
commit e8705a44b8
No known key found for this signature in database
GPG Key ID: 236B6291555E8401

View File

@ -60,7 +60,7 @@ if [[ $(dirname "$(git diff --name-only HEAD^)") =~ $VERSION_SHORT ]] && [[ $TRA
fi fi
# push an incremental tag # push an incremental tag
if [[ $VERSION != "${TRAVIS_BRANCH%-*}" ]]; then if [[ $VERSION == "${TRAVIS_BRANCH%-*}" ]]; then
docker push "$DOCKER_REPO:$TRAVIS_BRANCH" docker push "$DOCKER_REPO:$TRAVIS_BRANCH"
fi fi