fix

.github/workflows/check-by-name.yml

@@ -21,27 +21,30 @@ jobs:
         env:
           GH_TOKEN: ${{ github.token }}
         run: |
-          # Using toJSON so it definitely returns a raw string
-          # Because a `null` would get printed as the empty string otherwise
-          mergeable=${{ toJSON(github.event.pull_request.mergeable) }}
-          mergedSha=${{ toJSON(github.event.pull_request.merge_commit_sha) }}
+          updateInfo() {
+          }
 
-          while [[ "$mergeable" == "null" ]]; do
-            # GitHub is computing the mergeability of the commit,
-            # wait a couple seconds before trying again
-            echo "Unknown mergeable status of the PR, checking again in 5 seconds"
-            sleep 5
+          while true; do
+            echo "Querying the pull request"
             prInfo=$(gh api \
               -H "Accept: application/vnd.github+json" \
               -H "X-GitHub-Api-Version: 2022-11-28" \
               /repos/"$GITHUB_REPOSITORY"/pulls/${{ github.event.pull_request.number }})
-            echo "pr info is $prInfo"
             mergeable=$(jq -r .mergeable <<< "$prInfo")
             mergedSha=$(jq -r .merge_commit_sha <<< "$prInfo")
+
+            if [[ "$mergeable" != "null" ]]; then
+              break
+            else
+              # GitHub is computing the mergeability of the commit,
+              # wait a couple seconds before trying again
+              echo "Unknown mergeable status of the PR, checking again in 5 seconds"
+              sleep 5
+            fi
           done
 
           if [[ "$mergeable" == "true" ]]; then
-            echo "The PR appears to not have any conflicts, checking the merge commit $mergedSha"
+            echo "The PR has no merge conflicts, checking the merge commit $mergedSha"
           else
             echo "The PR has a merge conflict"
             exit 1