try auto comments on PRs

Author: marcello romani

.github/workflows/ci.yaml

@@ -21,3 +21,17 @@ jobs:
         uses: astral-sh/setup-uv@v5
       - name: Test
         run: make test
+
+  comment:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/github-script@v7
+        with:
+          github-token: ${{secrets.GHA_PRS}}
+          script: |
+            github.rest.issues.createComment({
+              issue_number: context.issue.number,
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              body: '👋 Thanks for reporting!'
+            })