More explicit pull_request.number

Author: thoukydides

.github/workflows/close-pr.yml

@@ -21,14 +21,14 @@ jobs:
           await github.pulls.update({
             owner:          context.repo.owner,
             repo:           context.repo.repo,
-            pull_number:    context.issue.number,
+            pull_number:    context.payload.pull_request.number,
             state:          'closed'
           });
 
           await github.issues.createComment({
             owner:          context.repo.owner,
             repo:           context.repo.repo,
-            issue_number:   context.issue.number,
+            issue_number:   context.payload.pull_request.number,
             body:
           `## Pull Request Closed