build: remove thank you bot

Once again beaten by security.

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

diff --git a/.github/workflows/thanks.yml b/.github/workflows/thanks.yml
deleted file mode 100644 (file)
index 15c00bd..0000000
--- a/.github/workflows/thanks.yml
+++ /dev/null
@@ -1,30 +0,0 @@
----
-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,
-            });