From 9e2afc1743a42a04d098d3c15f286dfe0eed98e0 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 16 Sep 2026 15:34:09 +0000 Subject: [PATCH 1/2] Initial plan From 7d3e871ce3c506c48e43e2ef0b554422cfc63d5e Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 16 Sep 2026 15:36:15 +0000 Subject: [PATCH 2/2] Fix run-doctools PR checkout Co-authored-by: sei-vsarvepalli <19911912+sei-vsarvepalli@users.noreply.github.com> --- .github/workflows/run_doctools.yml | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/.github/workflows/run_doctools.yml b/.github/workflows/run_doctools.yml index d5c098f1..3755add2 100644 --- a/.github/workflows/run_doctools.yml +++ b/.github/workflows/run_doctools.yml @@ -16,9 +16,10 @@ jobs: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v7 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7 with: - ref: ${{ github.head_ref }} + repository: ${{ github.event.pull_request.head.repo.full_name }} + ref: ${{ github.event.pull_request.head.sha }} fetch-depth: 0 - name: Set up Python 3.12 @@ -53,6 +54,10 @@ jobs: - name: Commit changes to data/ if: github.event.pull_request.head.repo.full_name == github.repository run: | + if ! git ls-remote --exit-code --heads origin "${{ github.head_ref }}" >/dev/null; then + echo "PR branch '${{ github.head_ref }}' no longer exists; skipping data/ commit." + exit 0 + fi git config user.name "github-actions[bot]" git config user.email "github-actions[bot]@users.noreply.github.com" git add data/ @@ -60,5 +65,5 @@ jobs: echo "No changes to commit" else git commit -m "chore: regenerate data files via doctools" - git push + git push origin HEAD:${{ github.head_ref }} fi