feature: skip pullmate-if-pr-closed (#22)

shftco · Oct 25, 2023 · 9abde3a · 9abde3a
1 parent 3c6f3e6
commit 9abde3a
Show file tree

Hide file tree

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