fixup! tools: add linter for release commit proposals

Author: aduh95

.github/workflows/lint-release-proposal.yml

@@ -40,7 +40,7 @@ jobs:
           echo "$ACTUAL" | grep -E -q "$EXPECTED_TRAILER"
 
           PR_URL="${ACTUAL:8}"
-          PR_HEAD=$(gh pr view --json headRefOid -q .headRefOid)
+          PR_HEAD=$(gh pr view --json headRefOid -q .headRefOid "$PR-URL")
           echo "Head of $PR_URL: $PR_HEAD"
           echo "Current commit: $GITHUB_SHA"
           [[ "$PR_HEAD" == "$GITHUB_SHA" ]]