Fix quality monitor checkout step

Author: uhafner

.github/workflows/quality-monitor.yml

@@ -1,7 +1,7 @@
 name: 'Quality Monitor PR'
 
 on:
-  pull_request:
+  pull_request_target:
 
 jobs:
   build:
@@ -10,7 +10,16 @@ jobs:
     name: Build, test and monitor quality on Ubuntu
 
     steps:
-      - uses: actions/checkout@v4
+      - name: 'Checkout merge commit'
+        uses: actions/checkout@v4
+        with:
+          ref: "${{ github.event.pull_request.merge_commit_sha }}"
+        if: github.event.pull_request.merge_commit_sha != ''
+      - name: 'Checkout PR head commit'
+        uses: actions/checkout@v4
+        with:
+          ref: "${{ github.event.pull_request.head.sha }}"
+        if: github.event.pull_request.merge_commit_sha == ''
       - name: Set up JDK 21
         uses: actions/setup-java@v4
         with:
@@ -31,7 +40,7 @@ jobs:
         env:
           BROWSER: chrome-container
           NVD_API_KEY: ${{ secrets.NVD_API_KEY }}
-        run: mvn -V --color always -ntp clean verify -Ppit -Pci -Powasp | tee maven.log
+        run: mvn -V --color always -ntp clean verify -Pci -Powasp | tee maven.log
       - name: Extract pull request number
         uses: jwalton/gh-find-current-pr@v1
         id: pr
@@ -125,23 +134,6 @@ jobs:
                       "pattern": "**/target/site/jacoco/jacoco.xml"
                     }
                   ]
-                },
-                {
-                  "name": "Mutation Coverage",
-                  "tools": [
-                    {
-                      "id": "pit",
-                      "metric": "mutation",
-                      "sourcePath": "src/main/java",
-                      "pattern": "**/target/pit-reports/mutations.xml"
-                    },
-                    {
-                      "id": "pit",
-                      "metric": "test-strength",
-                      "sourcePath": "src/main/java",
-                      "pattern": "**/target/pit-reports/mutations.xml"
-                    }
-                  ]
                 }
               ],
               "metrics":