From 1e831f3fde16eac93792492180d10e4ae297a7af Mon Sep 17 00:00:00 2001
From: Ugur Aslan <ugur@uguraslan.net>
Date: Tue, 19 Nov 2024 12:25:26 +0100
Subject: [PATCH] checking if docs are modified when a PR merged to the master
 branch

---
 .github/workflows/deploy-docs.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
index fd954ad4..ee30f927 100644
--- a/.github/workflows/deploy-docs.yml
+++ b/.github/workflows/deploy-docs.yml
@@ -6,7 +6,17 @@ jobs:
   trigger:
     runs-on: ubuntu-latest
     steps:
+      - name: Check for changes in docs folder
+        id: check_docs_changes
+        run: |
+          if git diff --name-only HEAD^ HEAD | grep -q '^docs/'; then
+            echo "docs_changed=true" >> $GITHUB_ENV
+          else
+            echo "docs_changed=false" >> $GITHUB_ENV
+          fi
+
       - name: Trigger Deployment
+        if: env.docs_changed == 'true'
         run: |
           response=$(curl -X POST -w "%{http_code}" -s -o /dev/null ${{ secrets.WEBSITE_DEPLOY_URL }})
           if [ "$response" -eq 200 ]; then