Merge branch '0.2'

tools/travis/travis_linux_after_success.sh

@@ -6,10 +6,8 @@ if [ $ANALYZE = "true" ]; then
 else
     echo "=== Executing after_success scripts ==="
     if [ "$CC" = "gcc" ] && [ "${TRAVIS_REPO_SLUG}" = "open62541/open62541" ]; then
-        if [ ${TRAVIS_BRANCH} = "0.2" ]; then
+        if [ ${TRAVIS_PULL_REQUEST} == "false" ] && [ ${TRAVIS_BRANCH} = "0.2" ]; then
             sh ./tools/travis/travis_push_doc.sh
-        fi
-        if [ ${TRAVIS_BRANCH} = "0.2" ]; then
             sh ./tools/travis/travis_push_coverity.sh
         fi
         sh ./tools/travis/travis_push_release.sh;