#!/bin/bash # # This sciprt is run by travis-ci and pushes the first commit # of the day to the coverity scan service # COMMITS=`git log --since=yesterday | grep commit | wc -l` if [[ "$COMMITS" == "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 "open62541-travis-ci@users.noreply.github.com" 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 fi