Re-enable dry run comments

Author: Kobzol

.github/workflows/dry-run.yml

@@ -163,22 +163,20 @@ jobs:
             exit 1
           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
+      - 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