ci remove formatting comment

This only works when the author is an @lvgl member.

.github/workflows/check_style.yml

@@ -28,12 +28,3 @@ jobs:
             echo "Please apply the preceding diff to your code or run scripts/code-format.py"
             exit 1
           fi
-      - name: Comment PR
-        uses: thollander/actions-comment-pull-request@v1
-        if: github.event_name == 'pull_request' && failure()
-        with:
-          message: |
-            Your PR needs its formatting corrected before it can be merged upstream.
-            
-            Please run `scripts/code-format.py` and commit the resulting change.
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}