MegaLinter: Checkout the right merge commit

Running on the merge commit is necessary to get the right list of modified files.
AliceO2Group · Dec 8, 2022 · cc47e99 · cc47e99
1 parent 6d2f9ad
commit cc47e99
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/mega-linter.yml b/.github/workflows/mega-linter.yml
@@ -26,6 +26,8 @@ jobs:
           # Checkout the HEAD of the PR instead of the merge commit.
           # This may include unrelated files if the PR branch is not up to date with the upstream.
           # ref: ${{ github.event.pull_request.head.sha }}
+          # Checkout the merge commit.
+          ref: refs/pull/${{ github.event.number }}/merge
           fetch-depth: 0
           # So we can use secrets.ALIBUILD_GITHUB_TOKEN to push later.
           persist-credentials: false