From d964c861d578c8253b52afa48f46a249d1c003a1 Mon Sep 17 00:00:00 2001
From: Adam DeMuri <adam.demuri@gmail.com>
Date: Sun, 18 Jan 2026 23:52:14 -0700
Subject: [PATCH] Fix the markdown-code-runner workflow.

This fixes the workflow to work for pull requests in addition to pushes:
- Correctly determines the repository and branch
- For pull requests, if there are changes, fails with a message to make
  the changes locally
- Extracts the commands to update generated files into a script
---
 .github/workflows/markdown-code-runner.yml | 49 +++++++++-------------
 scripts/update-generated-content           | 11 +++++
 2 files changed, 31 insertions(+), 29 deletions(-)
 create mode 100755 scripts/update-generated-content

diff --git a/.github/workflows/markdown-code-runner.yml b/.github/workflows/markdown-code-runner.yml
index 589976cf..efd76831 100644
--- a/.github/workflows/markdown-code-runner.yml
+++ b/.github/workflows/markdown-code-runner.yml
@@ -13,7 +13,8 @@ jobs:
       - name: Check out code from GitHub
         uses: actions/checkout@v6
         with:
-          ref: ${{ github.head_ref }}
+          repository: ${{ github.event.pull_request.head.repo.full_name || github.repository }}
+          ref: ${{ github.head_ref || github.ref }}
           fetch-depth: 0
 
       - name: Set up Python
@@ -24,34 +25,24 @@ jobs:
       - name: Install uv
         uses: astral-sh/setup-uv@v7
 
-      - name: Run markdown-code-runner
+      - name: Update generated content
+        run: ./scripts/update-generated-content
+
+      - name: Check for changes
         run: |
-          uv sync --group docs
-          uv pip install -e .
-          uv run python docs/run_markdown_code_runner.py
-
-      - name: Run update services.yaml
-        run: uv run python .github/update-services.py
-
-      - name: Run update strings.json
-        run: uv run python .github/update-strings.py
-
-      - name: Commit updated files
-        id: commit
-        run: |
-          git add -u .
-          git config --local user.email "github-actions[bot]@users.noreply.github.com"
-          git config --local user.name "github-actions[bot]"
-          if git diff --quiet && git diff --staged --quiet; then
-            echo "No changes, skipping commit."
-            echo "commit_status=skipped" >> $GITHUB_ENV
+          if [ -n "$(git status --porcelain)" ]; then
+            if [ "${{ github.event_name }}" == "pull_request" ]; then
+              echo "::error::Auto-generated files are not up to date. Please run './scripts/update-generated-content' locally and push the changes."
+              exit 1
+            else
+              echo "Changes detected, committing and pushing..."
+              git add -u .
+              git config --local user.email "github-actions[bot]@users.noreply.github.com"
+              git config --local user.name "github-actions[bot]"
+              git commit -m "Update auto-generated content"
+              git pull --rebase
+              git push
+            fi
           else
-            git commit -m "Update auto-generated content"
-            echo "commit_status=committed" >> $GITHUB_ENV
+            echo "No changes detected."
           fi
-
-      - name: Push changes
-        if: env.commit_status == 'committed'
-        run: |
-          git pull --rebase
-          git push
diff --git a/scripts/update-generated-content b/scripts/update-generated-content
new file mode 100755
index 00000000..1fed3178
--- /dev/null
+++ b/scripts/update-generated-content
@@ -0,0 +1,11 @@
+#!/usr/bin/env bash
+
+set -ex
+
+cd "$(dirname "$0")/.."
+
+uv sync --group docs
+uv pip install -e .
+uv run python docs/run_markdown_code_runner.py
+uv run python .github/update-services.py
+uv run python .github/update-strings.py