From 8b0d6c8d798c84123ca0da578ac8ae084d503922 Mon Sep 17 00:00:00 2001
From: hshah-mitre <hshah@mitre.org>
Date: Tue, 23 Dec 2025 18:05:54 -0500
Subject: [PATCH] Modify PR_API_URL to include all pull requests

Updated PR_API_URL to query all pull requests instead of just open ones.
---
 .github/workflows/deploy.yml | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index d9e0aa4..1a5e99e 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -213,15 +213,22 @@ jobs:
           echo "inside pr_number=$PR_NUMBER"
           echo "Before pr_number=$PR_NUMBER"
 
-          PR_API_URL="https://api.github.com/repos/${GITHUB_REPOSITORY}/pulls?state=open"
+          # Query all pull requests (open, closed, and merged)
+          PR_API_URL="https://api.github.com/repos/${GITHUB_REPOSITORY}/pulls"
           PR_NUMBER=$(curl -s -H "Accept: application/vnd.github.v3+json" \
             -H "Authorization: Bearer $GITHUB_TOKEN" \
             $PR_API_URL | jq '.[] | select(.head.sha == "'${GITHUB_SHA}'") | .number')
+          
+          # Fallback: Retrieve PR number from GITHUB_EVENT_PATH if API fails
+          if [ -z "$PR_NUMBER" ]; then
+            echo "PR number not found via API. Attempting fallback..."
+            PR_NUMBER=$(jq -r '.pull_request.number // empty' < "$GITHUB_EVENT_PATH")
+          fi
+          
           if [ -z "$PR_NUMBER" ]; then
             echo "No PR associated with this commit. Skipping deployment."
             exit 0
           fi
-          echo "PR_NUMBER=$PR_NUMBER"