diff --git a/scripts/push-docs b/scripts/push-docs index 57a85249..1a53637d 100755 --- a/scripts/push-docs +++ b/scripts/push-docs @@ -5,7 +5,7 @@ ORG=release-engineering REPO=exodus-lambda enabled(){ - if [ "$TRAVIS_BRANCH" != "master" ] || [ "$TRAVIS_PULL_REQUEST" != "false" ]; then + if [ "$GITHUB_EVENT_NAME" == "pull_request" ]; then return 1 fi } @@ -36,4 +36,4 @@ if enabled; then git push -q origin HEAD:refs/heads/gh-pages else echo "Docs would now be pushed, if this were submitted to master." -fi \ No newline at end of file +fi