From d8245dff968253c884848248f2d20e63f9e32f99 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sun, 4 Oct 2026 20:13:45 +0000 Subject: [PATCH 1/2] Initial plan From 61bcba47785af403a8c62d2f1806f80156771ae2 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sun, 4 Oct 2026 20:15:37 +0000 Subject: [PATCH 2/2] Skip website publishing for fork pull requests Co-authored-by: bms63 <10111024+bms63@users.noreply.github.com> --- .github/workflows/docs.yaml | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 027ba1d2..4d76a997 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -64,7 +64,10 @@ jobs: - name: Publish PR docs in a subdirectory # runs when a PR is opened or updated, but not when merged into main - if: github.event_name == 'pull_request' && github.base_ref == 'main' + if: >- + github.event_name == 'pull_request' && + github.base_ref == 'main' && + github.event.pull_request.head.repo.full_name == github.repository uses: peaceiris/actions-gh-pages@v4 with: github_token: ${{ secrets.GITHUB_TOKEN }} @@ -73,7 +76,10 @@ jobs: - name: Create comment # runs when a PR is opened or updated, but not when merged into main - if: github.event_name == 'pull_request' && github.base_ref == 'main' + if: >- + github.event_name == 'pull_request' && + github.base_ref == 'main' && + github.event.pull_request.head.repo.full_name == github.repository uses: marocchino/sticky-pull-request-comment@v2 with: header: "Documentation Website"