From 31a2840bed8805f675b8835d376a1d1a54b6dffa Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Wed, 26 Aug 2026 02:33:39 +0000
Subject: [PATCH 1/2] Initial plan


From 17c4af3648a6e791284c75623bed431c70d6e2c6 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Wed, 26 Aug 2026 02:35:16 +0000
Subject: [PATCH 2/2] Fetch PR head ref before checkout in CI sync

Co-authored-by: watney1024 <104301989+watney1024@users.noreply.github.com>
---
 .github/workflows/ci.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3063bf1..285c9b4 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -51,6 +51,8 @@ jobs:
             PR_NUMBER="${PR_NUMBER%/merge}"
             echo "Fetching PR #${PR_NUMBER} merge ref..."
             retry "git fetch PR #${PR_NUMBER}" git fetch origin "refs/pull/${PR_NUMBER}/merge" || exit 1
+            echo "Fetching PR #${PR_NUMBER} head ref..."
+            retry "git fetch PR #${PR_NUMBER} head" git fetch origin "refs/pull/${PR_NUMBER}/head" || exit 1
           fi
           echo "Checking out $GITHUB_SHA..."
           if git -c advice.detachedHead=false checkout -f "$GITHUB_SHA"; then
@@ -128,6 +130,8 @@ jobs:
             PR_NUMBER="${PR_NUMBER%/merge}"
             echo "Fetching PR #${PR_NUMBER} merge ref..."
             retry "git fetch PR #${PR_NUMBER}" git fetch origin "refs/pull/${PR_NUMBER}/merge" || exit 1
+            echo "Fetching PR #${PR_NUMBER} head ref..."
+            retry "git fetch PR #${PR_NUMBER} head" git fetch origin "refs/pull/${PR_NUMBER}/head" || exit 1
           fi
           echo "Checking out $GITHUB_SHA..."
           if git -c advice.detachedHead=false checkout -f "$GITHUB_SHA"; then