From 42627f33d4a2c7d20dc01703837ad22178ba63f9 Mon Sep 17 00:00:00 2001
From: Omer Rastgar <omer.rastgar@gmail.com>
Date: Sat, 11 Jul 2026 14:35:37 +0500
Subject: [PATCH 1/2] fix: remove Jekyll workflow and harden MkDocs deploy

- Remove jekyll-gh-pages.yml in favor of docs.yml for GitHub Pages
- Add top-level permissions: contents: read (least-privilege)
- Add concurrency group to prevent overlapping deployments
- Pin Python version to 3.12 for reproducibility
- Add upload-pages-artifact step so deploy job receives the built site
- Strip redundant build steps from deploy job (artifact handles file transfer)

Co-authored-by: CommandCodeBot <noreply@commandcode.ai>
---
 .github/workflows/jekyll-gh-pages.yml | 51 ---------------------------
 1 file changed, 51 deletions(-)
 delete mode 100644 .github/workflows/jekyll-gh-pages.yml

diff --git a/.github/workflows/jekyll-gh-pages.yml b/.github/workflows/jekyll-gh-pages.yml
deleted file mode 100644
index 67be9b0..0000000
--- a/.github/workflows/jekyll-gh-pages.yml
+++ /dev/null
@@ -1,51 +0,0 @@
-# Sample workflow for building and deploying a Jekyll site to GitHub Pages
-name: Deploy Jekyll with GitHub Pages dependencies preinstalled
-
-on:
-  # Runs on pushes targeting the default branch
-  push:
-    branches: ["main"]
-
-  # Allows you to run this workflow manually from the Actions tab
-  workflow_dispatch:
-
-# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
-permissions:
-  contents: read
-  pages: write
-  id-token: write
-
-# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
-# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
-concurrency:
-  group: "pages"
-  cancel-in-progress: false
-
-jobs:
-  # Build job
-  build:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v4
-      - name: Setup Pages
-        uses: actions/configure-pages@v5
-      - name: Build with Jekyll
-        uses: actions/jekyll-build-pages@v1
-        with:
-          source: ./
-          destination: ./_site
-      - name: Upload artifact
-        uses: actions/upload-pages-artifact@v3
-
-  # Deployment job
-  deploy:
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-    runs-on: ubuntu-latest
-    needs: build
-    steps:
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v5

From ad2b7648fb85f0062fd02ac85848ae7a1e025bfb Mon Sep 17 00:00:00 2001
From: Omer Rastgar <omer.rastgar@gmail.com>
Date: Sat, 11 Jul 2026 14:35:54 +0500
Subject: [PATCH 2/2] fix: remove Jekyll workflow and harden MkDocs deploy

- Remove jekyll-gh-pages.yml in favor of docs.yml for GitHub Pages
- Add top-level permissions: contents: read (least-privilege)
- Add concurrency group to prevent overlapping deployments
- Pin Python version to 3.12 for reproducibility
- Add upload-pages-artifact step so deploy job receives the built site
- Strip redundant build steps from deploy job (artifact handles file transfer)

Co-authored-by: CommandCodeBot <noreply@commandcode.ai>
---
 .github/workflows/docs.yml | 26 ++++++++++++++------------
 1 file changed, 14 insertions(+), 12 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 50d3697..52ab1b0 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -17,6 +17,13 @@ on:
       - 'mkdocs.yml'
       - '.github/workflows/docs.yml'
 
+permissions:
+  contents: read
+
+concurrency:
+  group: "pages"
+  cancel-in-progress: false
+
 jobs:
   build:
     runs-on: ubuntu-latest
@@ -26,6 +33,8 @@ jobs:
 
       - name: Set up Python
         uses: actions/setup-python@v5
+        with:
+          python-version: '3.12'
 
       - name: Install dependencies
         run: pip install mkdocs mkdocs-material
@@ -33,6 +42,11 @@ jobs:
       - name: Build site
         run: mkdocs build
 
+      - name: Upload Pages artifact
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: site
+
   deploy:
     if: github.event_name == 'push' && github.ref == 'refs/heads/main'
     needs: build
@@ -44,18 +58,6 @@ jobs:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
     steps:
-      - name: Checkout repository
-        uses: actions/checkout@v4
-
-      - name: Set up Python
-        uses: actions/setup-python@v5
-
-      - name: Install dependencies
-        run: pip install mkdocs mkdocs-material
-
-      - name: Build site
-        run: mkdocs build
-
       - name: Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v4