Alter push-docs script to work with Github action CI [RHELDST-5504]

release-engineering · Apr 12, 2021 · 26eec96 · 26eec96
1 parent cd2d758
commit 26eec96
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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
+fi