Merge branch 'master' into improvement/doc-uast-serialization

Author: ajnavarro

.travis.yml

@@ -38,7 +38,8 @@ jobs:
 
       before_deploy:
         - make packages
-        - DOCKER_PUSH_LATEST=1 make docker-push
+        - export DOCKER_PUSH_LATEST=$(echo ${TRAVIS_BRANCH} | grep -E '^v[[:digit:]]+\.[[:digit:]]+\.[[:digit:]]+$') || true
+        - make docker-push
         - make static-package
 
       deploy: