Update docker_build.sh

build docker every time push to PR, but push to dockerhub only when merge with develop

Author: ilarimikkonen

.scripts/docker_build.sh

@@ -7,9 +7,10 @@
 
 set -ev
 
-#if [ "${TRAVIS_PULL_REQUEST}" = "false" -a "${TRAVIS_REPO_SLUG}" = "apinf/platform" ]
-#then
 docker build -t apinf/platform:$DOCKER_TAG .
-#docker login -u="$DOCKER_USERNAME" -p="$DOCKER_PASSWORD"
-#docker push apinf/platform:$DOCKER_TAG
-#fi
+
+if [ "${TRAVIS_PULL_REQUEST}" = "false" -a "${TRAVIS_REPO_SLUG}" = "apinf/platform" ]
+then
+docker login -u="$DOCKER_USERNAME" -p="$DOCKER_PASSWORD"
+docker push apinf/platform:$DOCKER_TAG
+fi