Check out pull request HEAD commit?

Author: Happypig375

.github/workflows/Label.yml

@@ -8,11 +8,12 @@ jobs:
     - uses: actions/checkout@v6
       with:
         submodules: recursive
+        ref: ${{ github.event.pull_request.head.sha }} # Check out the pull request HEAD commit instead of the merge commit
     - name: If there are changes in PublicApi.Shipped.txt, fail the workflow
       if: github.head_ref != 'action/ship-publicapi' # Same branch name specified in Release.yml
       run: |
         git fetch origin ${{ github.base_ref }}
-        $changes = git diff --numstat --shortstat origin/${{ github.base_ref }}...${{ github.sha }} -- '**/PublicApi.Shipped.txt'
+        $changes = git diff --numstat --shortstat origin/${{ github.base_ref }}...HEAD -- '**/PublicApi.Shipped.txt'
         Write-Output "$changes"
         if ($changes) {
           Write-Error "Changes detected in PublicApi.Shipped.txt files. Public API changes must be shipped through the release process, not in regular pull requests."
@@ -29,7 +30,7 @@ jobs:
           Write-Output "This is a ship-publicapi PR, labeling as Type/Maintenance"
         } else {
           # For regular PRs, check for API changes
-          $changes = git diff origin/${{ github.base_ref }}...${{ github.sha }} -- '**/PublicApi.Unshipped.txt'
+          $changes = git diff origin/${{ github.base_ref }}...HEAD -- '**/PublicApi.Unshipped.txt'
           Write-Output "$changes"
           
           if ($changes) {