Specify branch to push to

This commit is contained in:
Brandon Keepers
2017-09-09 11:48:51 -05:00
parent 84606ec0fb
commit c6be154f3a

View File

@@ -18,5 +18,5 @@ git diff --quiet || {
REPO=${REPO/https:\/\//https://${GH_TOKEN}@}
fi
git push $REPO
git push $REPO HEAD:$TRAVIS_BRANCH
}