build: add thank you bot

Reduce the number of manual work.

Signed-off-by: Daniel Wagner <wagi@kernel.org>

Author: igaw

.github/workflows/thanks.yml

@@ -0,0 +1,30 @@
+---
+name: Comment on Merged PR
+
+on:
+  pull_request:
+    types:
+      - closed
+
+jobs:
+  comment-on-merge:
+    if: github.event.pull_request.merged == true
+    runs-on: ubuntu-latest
+    permissions:
+      issues: write
+      pull-requests: write
+
+    steps:
+      - name: Comment on merged PR
+        uses: actions/github-script@v7
+        with:
+          script: |
+            const prNumber = context.payload.pull_request.number;
+            const comment = 'Thanks for your contribution!';
+
+            await github.rest.issues.createComment({
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              issue_number: prNumber,
+              body: comment,
+            });