MegaLinter: Checkout the right merge commit (AliceO2Group#1617)

Running on the merge commit is necessary to get the right list of modified files.
GijsvWeelden · Jan 13, 2023 · 2363876 · 2363876
1 parent 92e0081
commit 2363876
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