1#!/bin/bash 2 3set -x 4set -o errexit -o nounset 5 6if test x"$TRAVIS_EVENT_TYPE" != x"cron"; then exit; fi 7if test x"$TRAVIS_BRANCH" != x"master"; then exit; fi 8 9git fetch --unshallow 10git remote add upstream "https://$GH_TOKEN@github.com/harfbuzz/harfbuzz.git" 11git push -q upstream master:coverity_scan 12