MegaLinter: Checkout the HEAD of the PR (AliceO2Group#6135)

Getting the list of modified files has been fixed in MegaLinter.
DelloStritto · May 14, 2024 · e7aa767 · e7aa767
1 parent 867e2a6
commit e7aa767
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/.github/workflows/mega-linter.yml b/.github/workflows/mega-linter.yml
@@ -23,13 +23,12 @@ jobs:
     steps:
       # Git Checkout
       - name: Checkout Code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           # 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
+          ref: ${{ github.event.pull_request.head.sha }}
+          # Checkout the merge commit. (If a fixing PR is made, it will include also missing commits from upstream.)
+          # ref: refs/pull/${{ github.event.number }}/merge
           fetch-depth: 0
           # So we can use secrets.ALIBUILD_GITHUB_TOKEN to push later.
           persist-credentials: false