Update PullRequest.yml

.github/workflows/PullRequest.yml

@@ -25,12 +25,29 @@ jobs:
             })
             const issues = await github.paginate(opts)
 
+            const PR_NUMBER = context.payload.pull_request.number;
+            const REPO_OWNER = context.repo.owner;
+            const REPO_NAME = context.repo.repo;
+            // Check if the 'greeted' label is already present
+            const { data: labels } = await github.rest.issues.listLabelsOnIssue({
+              owner: REPO_OWNER,
+              repo: REPO_NAME,
+              issue_number: PR_NUMBER,
+            });
+            const alreadyGreeted = labels.some(label => label.name === 'greeted');
+
+            // Don't post the message more than once.
+            if (alreadyGreeted) {
+              console.log(`PR #${PR_NUMBER} has already been greeted.`);
+              return 
+            }
+
             for (const issue of issues) {
               if (issue.number === context.issue.number) {
                 continue
               }
-
               if (issue.pull_request) {
+                console.log(`Creator #${creator} has already been greeted.`);
                 return // Creator is already a contributor.
               }
             }
@@ -49,3 +66,13 @@ jobs:
               `
             })
 
+            // Add the 'greeted' label to mark this PR as greeted
+            await github.rest.issues.addLabels({
+              owner: REPO_OWNER,
+              repo: REPO_NAME,
+              issue_number: PR_NUMBER,
+              labels: ['greeted'],
+            });
+
+            console.log(`Welcome message posted for PR #${PR_NUMBER}`);
+