CI: Fix: pushing to production

lfortran · Aug 22, 2022 · 9d318dc · 9d318dc
1 parent e881b20
commit 9d318dc
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/ci/upload_site.sh b/ci/upload_site.sh
@@ -39,10 +39,12 @@ git add .
 COMMIT_MESSAGE="Deploying on $(date "+%Y-%m-%d %H:%M:%S")"
 git commit -m "${COMMIT_MESSAGE}"
 
-if [[ "${GIT_PR_PREVIEW_PRIVATE_SSH_KEY}" == "" ]]; then
-    echo "Note: GIT_PR_PREVIEW_PRIVATE_SSH_KEY is empty, skipping..."
-    exit 0
-fi
+if [[ ${git_ref} != "refs/heads/main" ]]; then
+    if [[ "${GIT_PR_PREVIEW_PRIVATE_SSH_KEY}" == "" ]]; then
+        echo "Note: GIT_PR_PREVIEW_PRIVATE_SSH_KEY is empty, skipping..."
+        exit 0
+    fi
+else
 ssh-add <(echo "$GIT_PR_PREVIEW_PRIVATE_SSH_KEY" | base64 -d)
 
 git push ${deploy_repo_push} gh-pages:gh-pages