From d8d463660929c49e5110b2ff63b875cb214484c4 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 15 Oct 2025 20:40:13 +0000 Subject: [PATCH 1/7] Initial plan From dfa77d491162769d4a3eeaeaca5146d6071f84fd Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 15 Oct 2025 20:46:44 +0000 Subject: [PATCH 2/7] Update main branch test.yml to delete PR branches during cleanup Co-authored-by: smockle <3104489+smockle@users.noreply.github.com> --- .github/workflows/test.yml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index a78e07a..b0e507e 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -109,7 +109,13 @@ jobs: | while read -r URL; do if [[ "$URL" == *"/pull/"* ]]; then echo "Closing pull request: $URL" + PR_NUMBER="${URL##*/}" + branch="$(gh pr view "$PR_NUMBER" --repo github/accessibility-scanner-testing --json headRefName -q .headRefName)" || true gh pr close "$URL" || echo "Failed to close pull request: $URL" + if [[ -n "$branch" ]]; then + echo "Deleting branch: $branch" + git push https://github.com/github/accessibility-scanner-testing --delete "$branch" || echo "Failed to delete branch: $branch" + fi elif [[ "$URL" == *"/issues/"* ]]; then echo "Closing issue: $URL" gh issue close "$URL" || echo "Failed to close issue: $URL" From c549705ba36dc71837f544ab5b1b1e5b3f9bcdf5 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 15 Oct 2025 20:50:34 +0000 Subject: [PATCH 3/7] Simplify PR branch deletion by using URL directly with gh pr view --- .github/workflows/test.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index b0e507e..da4ae94 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -109,8 +109,7 @@ jobs: | while read -r URL; do if [[ "$URL" == *"/pull/"* ]]; then echo "Closing pull request: $URL" - PR_NUMBER="${URL##*/}" - branch="$(gh pr view "$PR_NUMBER" --repo github/accessibility-scanner-testing --json headRefName -q .headRefName)" || true + branch="$(gh pr view "$URL" --json headRefName -q .headRefName)" || true gh pr close "$URL" || echo "Failed to close pull request: $URL" if [[ -n "$branch" ]]; then echo "Deleting branch: $branch" From 09294170ff4b56274ab89f9d2792ee5be812ff88 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 15 Oct 2025 21:10:01 +0000 Subject: [PATCH 4/7] Address PR feedback: move branch extraction after PR close, use env variable for testing repo Co-authored-by: smockle <3104489+smockle@users.noreply.github.com> --- .github/workflows/test.yml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index da4ae94..d021354 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -17,6 +17,9 @@ concurrency: group: ${{ github.workflow }}-${{ github.ref }} cancel-in-progress: false # Allow previous workflows’ clean-up steps to complete +env: + TESTING_REPOSITORY: github/accessibility-scanner-testing + jobs: test: name: Test @@ -74,7 +77,7 @@ jobs: login_url: http://127.0.0.1:4000/ username: ${{ secrets.TEST_USERNAME }} password: ${{ secrets.TEST_PASSWORD }} - repository: github/accessibility-scanner-testing + repository: ${{ env.TESTING_REPOSITORY }} token: ${{ secrets.GH_TOKEN }} cache_key: ${{ steps.cache_key.outputs.cache_key }} @@ -109,11 +112,11 @@ jobs: | while read -r URL; do if [[ "$URL" == *"/pull/"* ]]; then echo "Closing pull request: $URL" - branch="$(gh pr view "$URL" --json headRefName -q .headRefName)" || true gh pr close "$URL" || echo "Failed to close pull request: $URL" + branch="$(gh pr view "$URL" --json headRefName -q .headRefName || true)" if [[ -n "$branch" ]]; then echo "Deleting branch: $branch" - git push https://github.com/github/accessibility-scanner-testing --delete "$branch" || echo "Failed to delete branch: $branch" + git push "https://github.com/${{ env.TESTING_REPOSITORY }}" --delete "$branch" || echo "Failed to delete branch: $branch" fi elif [[ "$URL" == *"/issues/"* ]]; then echo "Closing issue: $URL" From cd8d555ce392dc075e18e0428b194dc05a588f8f Mon Sep 17 00:00:00 2001 From: Clay Miller Date: Wed, 15 Oct 2025 17:24:36 -0400 Subject: [PATCH 5/7] Update .github/workflows/test.yml --- .github/workflows/test.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index d021354..db52f75 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -113,7 +113,7 @@ jobs: if [[ "$URL" == *"/pull/"* ]]; then echo "Closing pull request: $URL" gh pr close "$URL" || echo "Failed to close pull request: $URL" - branch="$(gh pr view "$URL" --json headRefName -q .headRefName || true)" + branch="$(gh pr view "$URL" --json headRefName -q .headRefName)" if [[ -n "$branch" ]]; then echo "Deleting branch: $branch" git push "https://github.com/${{ env.TESTING_REPOSITORY }}" --delete "$branch" || echo "Failed to delete branch: $branch" From 945f8d9dca0bfd313f248c2b4e1e47733f807001 Mon Sep 17 00:00:00 2001 From: Clay Miller Date: Wed, 15 Oct 2025 17:26:17 -0400 Subject: [PATCH 6/7] Update .github/workflows/test.yml --- .github/workflows/test.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index db52f75..d021354 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -113,7 +113,7 @@ jobs: if [[ "$URL" == *"/pull/"* ]]; then echo "Closing pull request: $URL" gh pr close "$URL" || echo "Failed to close pull request: $URL" - branch="$(gh pr view "$URL" --json headRefName -q .headRefName)" + branch="$(gh pr view "$URL" --json headRefName -q .headRefName || true)" if [[ -n "$branch" ]]; then echo "Deleting branch: $branch" git push "https://github.com/${{ env.TESTING_REPOSITORY }}" --delete "$branch" || echo "Failed to delete branch: $branch" From 8f459be414acdc397483d09f722157b259d4f98f Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 15 Oct 2025 23:17:43 +0000 Subject: [PATCH 7/7] Use gh api instead of git push for better authentication context Co-authored-by: smockle <3104489+smockle@users.noreply.github.com> --- .github/workflows/test.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index d021354..0f90bd4 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -116,7 +116,7 @@ jobs: branch="$(gh pr view "$URL" --json headRefName -q .headRefName || true)" if [[ -n "$branch" ]]; then echo "Deleting branch: $branch" - git push "https://github.com/${{ env.TESTING_REPOSITORY }}" --delete "$branch" || echo "Failed to delete branch: $branch" + gh api -X DELETE "repos/${{ env.TESTING_REPOSITORY }}/git/refs/heads/$branch" || echo "Failed to delete branch: $branch" fi elif [[ "$URL" == *"/issues/"* ]]; then echo "Closing issue: $URL"