#!/bin/bash

set -x
set -o errexit -o nounset

if test "x$TRAVIS_EVENT_TYPE" != x"cron"; then exit; fi

BRANCH="$TRAVIS_BRANCH"
if test "x$BRANCH" != xmaster; then exit; fi

git fetch --unshallow
git remote add upstream "https://$GH_TOKEN@github.com/harfbuzz/harfbuzz.git"
git push -q upstream master:coverity_scan