Add support for "dev: no-bot-comments"

Author: koppor

.github/workflows/pr-comment.yml

@@ -76,9 +76,19 @@ jobs:
             echo "workflow_run_id=${{ github.event.workflow_run.id }}" >> $GITHUB_OUTPUT
           fi
 
+      - name: Check if PR has 'dev: no-bot-comments' label
+        if: ${{ github.event_name == 'workflow_dispatch' || (steps.read-pr_number.outputs.pr_number != '' && steps.isCrossRepository.outputs.isCrossRepository == 'true') }}
+        id: check-label
+        run: |
+          has_label=$(gh pr view "${{ steps.set-vars.outputs.pr_number }}" --json labels -q \
+            '.labels[].name' | grep -Fxq "dev: no-bot-comments" && echo "true" || echo "false")
+          echo "has_label=$has_label" >> "$GITHUB_OUTPUT"
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
       # This step runs in both cases using the proper variables.
       - name: ghprcomment@main
-        if: ${{ github.event_name == 'workflow_dispatch' || (steps.read-pr_number.outputs.pr_number != '' && steps.isCrossRepository.outputs.isCrossRepository == 'true') }}
+        if: ${{ steps.check-label.outputs.has_label == 'false' && (github.event_name == 'workflow_dispatch' || (steps.read-pr_number.outputs.pr_number != '' && steps.isCrossRepository.outputs.isCrossRepository == 'true')) }}
         uses: jbangdev/[email protected]
         with:
           script: https://github.com/koppor/ghprcomment/blob/main/ghprcomment.java