Close PR after comment But check it's open first.

Fixes #62811.

git-svn-id: https://develop.svn.wordpress.org/trunk@59634 602fd350-edb4-49c9-b593-d223f7449a82

Author: desrosj

.github/workflows/close-pulls.yml

@@ -68,18 +68,38 @@ jobs:
         with:
           script: |
             const prNumbers = ${{ steps.pr-results.outputs.result }};
-            const commentBody = `A commit was made that fixes a Trac ticket referenced in the description of this pull request.
 
-            SVN changeset: [${{ steps.git-svn-id.outputs.svn_revision_number }}](https://core.trac.wordpress.org/changeset/${{ steps.git-svn-id.outputs.svn_revision_number }})
-            GitHub changeset: ${{ github.sha }}
+            for (const prNumber of prNumbers) {
+              const pr = await github.rest.pulls.get({
+                owner: 'desrosj',
+                repo: 'wordpress-develop',
+                pull_number: 155
+              });
 
-            This PR will be closed, but please confirm the accuracy of this and reopen if there is more work to be done.`;
+              if ( pr.data.state === 'closed' ) {
+                continue;
+              }
 
-            for (const prNumber of prNumbers) {
+              const commentBody = `A commit was made that fixes a Trac ticket referenced in the description of this pull request.
+
+              SVN changeset: [${{ steps.git-svn-id.outputs.svn_revision_number }}](https://core.trac.wordpress.org/changeset/${{ steps.git-svn-id.outputs.svn_revision_number }})
+              GitHub changeset: ${{ github.sha }}
+
+              This PR will be closed, but please confirm the accuracy of this and reopen if there is more work to be done.`;
+
+              // Comment on the pull request with details.
               await github.rest.issues.createComment({
                 owner: 'desrosj',
                 repo: 'wordpress-develop',
                 issue_number: 155,
                 body: commentBody
               });
+
+              // Close the pull request.
+              await github.rest.pulls.update({
+                owner: 'desrosj',
+                repo: 'wordpress-develop',
+                pull_number: 155,
+                state: 'closed'
+              });
             }