Merge pull request #1701 from Kobzol/disable-pr-comments

Disable sending dry-run PR comments temporarily

Author: marcoieni

.github/workflows/dry-run.yml

@@ -163,20 +163,22 @@ jobs:
             exit 1
           fi
 
-      - name: Send comment
-        env:
-          GH_TOKEN: ${{ github.token }}
-        run: |
-          PR=${PR_NUMBER}
-          echo "Pull request ${PR}"
-
-          # --edit-last doesn't work if there is no previous comment, so we have to figure out
-          # if we should create a comment or not
-          if gh issue view ${PR} --repo rust-lang/team --json comments \
-            --jq '.comments.[].author.login' | grep --quiet --fixed-strings "github-actions"; then
-            echo "Editing comment"
-            gh pr comment ${PR} --repo rust-lang/team --body-file comment.txt --edit-last
-          else
-            echo "Creating new comment"
-            gh pr comment ${PR} --repo rust-lang/team --body-file comment.txt
-          fi
+      # Temporarily disabled to avoid spam because of permission issues with the read-only token
+      # FIXME: re-enable once we remove app installation sync from sync-team
+      #      - name: Send comment
+      #        env:
+      #          GH_TOKEN: ${{ github.token }}
+      #        run: |
+      #          PR=${PR_NUMBER}
+      #          echo "Pull request ${PR}"
+      #
+      #          # --edit-last doesn't work if there is no previous comment, so we have to figure out
+      #          # if we should create a comment or not
+      #          if gh issue view ${PR} --repo rust-lang/team --json comments \
+      #            --jq '.comments.[].author.login' | grep --quiet --fixed-strings "github-actions"; then
+      #            echo "Editing comment"
+      #            gh pr comment ${PR} --repo rust-lang/team --body-file comment.txt --edit-last
+      #          else
+      #            echo "Creating new comment"
+      #            gh pr comment ${PR} --repo rust-lang/team --body-file comment.txt
+      #          fi