From af96de65524c32db35fdd9ce46a8359f3735249c Mon Sep 17 00:00:00 2001
From: Davis Chase <130488702+dev2049@users.noreply.github.com>
Date: Sun, 18 Jun 2023 20:56:12 -0700
Subject: [PATCH] fix prod docs build (#6402)

---
 docs/docs_skeleton/ignore_build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/docs_skeleton/ignore_build.sh b/docs/docs_skeleton/ignore_build.sh
index 114e4560..8669cde1 100755
--- a/docs/docs_skeleton/ignore_build.sh
+++ b/docs/docs_skeleton/ignore_build.sh
@@ -2,7 +2,7 @@
 
 echo "VERCEL_GIT_COMMIT_REF: $VERCEL_GIT_COMMIT_REF"
 
-if [[ $VERCEL_GIT_COMMIT_REF = __docs__* ]] ; then
+if [[ $VERCEL_GIT_COMMIT_REF = __docs__* || "$VERCEL_GIT_COMMIT_REF" == "master" ]] ; then
   # Proceed with the build
 	echo "✅ - Build can proceed"
   exit 1;