Revert "comment report"

This reverts commit 103d94c.

.github/workflows/check-rli.yml

@@ -31,45 +31,3 @@ jobs:
       - name: Set exit code
         if: ${{ steps.inspector.outputs.needs-manual == 'true' }}
         run: exit 1
-
-    # ---- Post Report ----
-      - name: Find Comment
-        uses: peter-evans/find-comment@v2
-        id: fc
-        if: failure()
-        with:
-          issue-number: ${{ github.event.pull_request.number }}
-          comment-author: 'github-actions[bot]'
-          body-includes: Inspector Report
-          direction: last
-
-      - name: Create comment
-        if: ${{ failure() && steps.fc.outputs.comment-id == 0 }}
-        uses: peter-evans/create-or-update-comment@v2
-        with:
-          body: ${{ env.REPORT }}
-          issue-number: ${{ github.event.pull_request.number }}
-
-      - name: Update comment
-        if: ${{ failure() && steps.fc.outputs.comment-id != 0 }}
-        uses: peter-evans/create-or-update-comment@v2
-        with:
-          body: |
-            ### Found RLIs needing manual updates!
-            <details>
-            <summary>See the "needs manual updates" section of the report:</summary>
-
-            ${{ env.REPORT }}
-
-            </summary>
-
-          comment-id: ${{ steps.fc.outputs.comment-id }}
-          edit-mode: replace
-
-      - name: Update comment
-        if: ${{ success() && steps.fc.outputs.comment-id != 0 }}
-        uses: peter-evans/create-or-update-comment@v2
-        with:
-          body: All RLIs fixed!
-          comment-id: ${{ steps.fc.outputs.comment-id }}
-          edit-mode: replace