push 0.2 to coverity_scan without forcing

tools/travis/travis_push_coverity.sh

@@ -6,7 +6,7 @@ set -ev
 
 COMMITS=`git log --oneline --since=today.midnight | wc -l`
 if [ "$COMMITS" -le 1 ]; then
-    git push --force https://$GITAUTH@github.com/open62541/open62541 coverity_scan
+    git push https://$GITAUTH@github.com/open62541/open62541 0.2:coverity_scan
 else
     echo "Not the first commit of the day - no push to coverity required"
 fi