diff --git a/.github/workflows/pre-commit.yml b/.github/workflows/pre-commit.yml index 322cc8e127d..becaaf6feec 100644 --- a/.github/workflows/pre-commit.yml +++ b/.github/workflows/pre-commit.yml @@ -51,10 +51,11 @@ jobs: if: runner.os == 'Windows' run: git config --global core.symlinks true + # PR workflows run from the merge revision; check out that same revision + # so their helper scripts and configuration stay in sync. - name: Checkout repository uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 with: - ref: ${{ github.event.pull_request.head.sha || github.sha }} fetch-depth: 1 persist-credentials: false