Enable posting to closed PRs

In case PR is closed before results finished, we should still update comment with latest results.
andrewiggins · Feb 15, 2021 · db08f9a · db08f9a
1 parent b98eaa4
commit db08f9a
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 16 deletions.
diff --git a/dist/util.js b/dist/util.js
@@ -11301,14 +11301,13 @@ async function parseContext(context, github, logger) {
 
 			// 2.2. Search the PR API for matching open PRs if 0 or more than 1
 			// matched from the payload (payload doesn't contain open or close state)
-			prs = (
-				await github.pulls.list({
-					owner: context.repo.owner,
-					repo: context.repo.repo,
-					state: "open",
-					head: headLabel,
-				})
-			).data;
+			let res = await github.pulls.list({
+				owner: context.repo.owner,
+				repo: context.repo.repo,
+				head: headLabel,
+			});
+
+			prs = res.data;
 		}
 
 		if (prs.length === 0) {

diff --git a/src/utils/github.js b/src/utils/github.js
@@ -32,14 +32,13 @@ async function parseContext(context, github, logger) {
 
 			// 2.2. Search the PR API for matching open PRs if 0 or more than 1
 			// matched from the payload (payload doesn't contain open or close state)
-			prs = (
-				await github.pulls.list({
-					owner: context.repo.owner,
-					repo: context.repo.repo,
-					state: "open",
-					head: headLabel,
-				})
-			).data;
+			let res = await github.pulls.list({
+				owner: context.repo.owner,
+				repo: context.repo.repo,
+				head: headLabel,
+			});
+
+			prs = res.data;
 		}
 
 		if (prs.length === 0) {