Use event api for pr number

GSA-TTS · Jan 23, 2025 · a95d0b5 · a95d0b5
1 parent 819aeed
commit a95d0b5
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/.github/workflows/pull-request-checks.yml b/.github/workflows/pull-request-checks.yml
@@ -31,11 +31,9 @@ jobs:
         run: |
           if ! git merge-base --is-ancestor origin/main ${{ github.event.pull_request.head.sha }};
           then echo "This branch is not up to date with main";
-          exit 1; fi
-          echo "pull_request_number=$(gh pr view --json number -q .number || echo "")"
-          gh pr comment $pull_request_number \
+          gh pr comment ${{ github.event.pull_request.number }} \
           --body "This pull request is not up to date with main. Please merge main into this brach or rebase this branch onto main. This PR should not be approved until this the status checks pass."
-
+          exit 1; fi
 
       # - name: Get Pull Request Number
       #   id: pr-number