<commit_before>#!/bin/bash
set -ev

# This script is run by travis-ci and pushes the first commit
# of the day to the coverity scan service

git fetch origin coverity_scan
COMMITS=`git log --oneline --since=today.midnight | wc -l`
if [ "$COMMITS" -le 1 ]; then
    #first commit a day - push changes to branch coverity_scan
    git clone -b coverity_scan https://$GITAUTH@github.com/acplt/open62541
    cd open62541
    git fetch origin
    git merge origin/master
    git config --global user.email "<EMAIL>"
    git config --global user.name "Open62541 travis-ci"
    git config --global push.default simple
    git add *
    git commit -am "push to coverity scan by travis-ci"
    git push https://$GITAUTH@github.com/acplt/open62541
    cd ..
    rm -rf open62541
else
    echo "Not the first commit of the day - no push to coverity required"
fi<commit_msg>simplify script that pushes to coverity<commit_after>#!/bin/bash
set -ev

# This script is run by travis-ci and pushes the first commit
# of the day to the coverity scan service

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
else
    echo "Not the first commit of the day - no push to coverity required"
fi
{'fraction_non_alphanumeric': 0.09126063418406806, 'fraction_numerical': 0.028615622583139984, 'mean_word_length': 3.214983713355049, 'pattern_counts': {'":': 0, '<': 4, '<?xml version=': 0, '>': 4, 'https://': 3, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 3, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5433620', 'n_tokens_mistral': 445, 'n_tokens_neox': 407, 'n_words': 165}