2018-02-12 08:57:00 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
set -x
|
|
|
|
|
set -o errexit -o nounset
|
|
|
|
|
|
2018-03-05 10:28:34 +01:00
|
|
|
if test x"$TRAVIS_EVENT_TYPE" != x"cron"; then exit; fi
|
|
|
|
|
if test x"$TRAVIS_BRANCH" != x"master"; then exit; fi
|
2018-02-12 08:57:00 +01:00
|
|
|
|
|
|
|
|
git fetch --unshallow
|
|
|
|
|
git remote add upstream "https://$GH_TOKEN@github.com/harfbuzz/harfbuzz.git"
|
|
|
|
|
git push -q upstream master:coverity_scan
|
