From 6f408e5913b1ff15708ceb0ee05113dd2a416284 Mon Sep 17 00:00:00 2001 From: Sean Li Date: Thu, 21 May 2026 18:14:23 -0700 Subject: [PATCH] Avoid gh pr checkout in pull request helper workflow --- .github/workflows/pull-request-helper.yml | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) diff --git a/.github/workflows/pull-request-helper.yml b/.github/workflows/pull-request-helper.yml index 258ef2e129..f239ed0f5e 100644 --- a/.github/workflows/pull-request-helper.yml +++ b/.github/workflows/pull-request-helper.yml @@ -15,13 +15,8 @@ jobs: # this is the personal access token used for "git push" below # which is needed in order to trigger workflows token: ${{ secrets.PR_HELPER_GITHUB_TOKEN }} - - - name: Check out PR branch - env: - NUMBER: ${{ github.event.pull_request.number }} - GH_TOKEN: ${{ github.token }} - run: | - gh pr checkout $NUMBER + repository: ${{ github.event.pull_request.head.repo.full_name }} + ref: ${{ github.event.pull_request.head.ref }} - name: Setup Gradle uses: gradle/actions/setup-gradle@50e97c2cd7a37755bbfafc9c5b7cafaece252f6e # v6