pr-check: Make it easier to see the log

.github/workflows/pr-check.yml

@@ -80,7 +80,10 @@ jobs:
           fi
 
           for PR_NUM in "${PR_NUMBERS[@]}"; do
+
+            printf '\n'
             echo "Checking PR https://github.com/flathub/flathub/pull/$PR_NUM"
+            printf '\n'
 
             json=$(gh pr view "$PR_NUM" --json body,title -q '{body: .body, title: .title}')
             PR_BODY=$(echo "$json" | jq -r .body)
@@ -292,6 +295,7 @@ jobs:
                 gh pr lock "$PR_NUM" || true
             fi
             if label_exists_any "awaiting-review"; then
+              echo "PR_THREAD_COUNT=$PR_THREAD_COUNT"
               if [ "$PR_THREAD_COUNT" -gt 0 ]; then
                 echo "Has awaiting-review label and review comments, marking as awaiting-changes"
                 gh pr edit "$PR_NUM" \
@@ -304,6 +308,10 @@ jobs:
                   --remove-label "awaiting-changes" || true
               fi
             fi
+
+            printf '\n'
+            echo "Finished checking PR https://github.com/flathub/flathub/pull/$PR_NUM"
+            printf '\n'
           done
         env:
           GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}