From 5b2d46f1d0f96723895d62b11ad38ead52a41449 Mon Sep 17 00:00:00 2001
From: lowlighter <22963968+lowlighter@users.noreply.github.com>
Date: Tue, 9 Mar 2021 12:16:23 +0100
Subject: [PATCH] Better handle of pull request mergeability

---
 source/app/action/index.mjs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/source/app/action/index.mjs b/source/app/action/index.mjs
index 5bc43aae..2216182d 100644
--- a/source/app/action/index.mjs
+++ b/source/app/action/index.mjs
@@ -302,8 +302,10 @@
                   //Check pull request mergeability (https://octokit.github.io/rest.js/v18#pulls-get)
                     const {data:{mergeable, mergeable_state:state}} = await committer.rest.pulls.get({...github.context.repo, pull_number:number})
                     console.debug(`Pull request #${number} mergeable state is "${state}"`)
-                    if (mergeable === null)
+                    if (mergeable === null) {
+                      await new Promise(solve => setTimeout(solve, 5000)) //eslint-disable-line no-promise-executor-return
                       continue
+                    }
                     if (!mergeable)
                       throw new Error(`Pull request #${number} is not mergeable (state is "${state}")`)
                   //Merge pull request