fix: sending message when pull request merged (#14)

shftco · Oct 19, 2023 · 9265ddf · 9265ddf
1 parent 3f95512
commit 9265ddf
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 6 deletions.
diff --git a/dist/index.js b/dist/index.js
diff --git a/src/lib/bot.ts b/src/lib/bot.ts
@@ -25,10 +25,14 @@ async function removeOldPRComments() {
 }
 
 async function commentErrors(errors: string[]) {
-  const { isDraft, PROwner } = await pullRequest.getPRInfo();
+  const { isDraft, PROwner, isMerged } = await pullRequest.getPRInfo();
+
+  if (isMerged) {
+    return;
+  }
 
   if (isDraft) {
-    commentDraftPR();
+    await commentDraftPR();
     return;
   }
 

diff --git a/src/lib/pullRequest.ts b/src/lib/pullRequest.ts
@@ -23,7 +23,8 @@ async function getPRInfo() {
     isClosed: issue?.data?.state === 'closed',
     isAssigned: !!issue?.data?.assignee,
     hasReviewers: !!PR?.data?.requested_reviewers?.length,
-    PROwner: PR?.data?.user?.login ?? ''
+    PROwner: PR?.data?.user?.login ?? '',
+    isMerged: PR?.data?.merged_at !== null
   };
 }