From 06857e58ea52864ce76737e45aee968b21b12348 Mon Sep 17 00:00:00 2001
From: tt2468 <tt2468@gmail.com>
Date: Wed, 28 Apr 2021 16:04:26 -0700
Subject: [PATCH] CI: Don't run git commands if not run on ci

---
 .github/workflows/generate_docs.yml | 1 +
 CI/generate-docs.sh                 | 5 +++++
 2 files changed, 6 insertions(+)

diff --git a/.github/workflows/generate_docs.yml b/.github/workflows/generate_docs.yml
index 257d1e6a..5ca7d06d 100644
--- a/.github/workflows/generate_docs.yml
+++ b/.github/workflows/generate_docs.yml
@@ -15,6 +15,7 @@ jobs:
     env: 
       CHECKOUT_REF: ${{ github.ref }}
       GH_TOKEN: ${{ github.token }}
+      IS_CI: "true"
     steps:
       - name: 'Checkout'
         uses: actions/checkout@v2
diff --git a/CI/generate-docs.sh b/CI/generate-docs.sh
index 035ba9d0..ebebcabc 100755
--- a/CI/generate-docs.sh
+++ b/CI/generate-docs.sh
@@ -18,6 +18,11 @@ if git diff --quiet; then
 	exit 0
 fi
 
+# Exit if we aren't a CI run to prevent messing with the current git config
+if [ -z "${IS_CI}" ]; then
+	exit 0
+fi
+
 REMOTE_URL="$(git config remote.origin.url)"
 TARGET_REPO=${REMOTE_URL/https:\/\/github.com\//github.com/}
 GITHUB_REPO=https://${GH_TOKEN:-git}@${TARGET_REPO}