diff --git a/scripts/update-docs.nix b/scripts/update-docs.nix index 0adcf4725..133171582 100644 --- a/scripts/update-docs.nix +++ b/scripts/update-docs.nix @@ -40,7 +40,7 @@ in use_ssh_key ${sshKey} - if [ "''${BUILDKITE_BRANCH:-}" = master ]; then + if [ "''${GITHUB_REF:-}" = refs/heads/master ]; then git push ${repo} HEAD:gh-pages fi '')