chore: add welcome message on PR

furdation · Apr 23, 2024 · bb18ee8 · bb18ee8
1 parent 00fd235
commit bb18ee8
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/.github/workflows/pull_request.yaml b/.github/workflows/pull_request.yaml
@@ -0,0 +1,19 @@
+name: Pull request message
+
+on:
+  pull_request:
+    types:
+      - opened
+
+permissions:
+  pull-requests: write
+
+jobs:
+  build:
+    name: Post message
+    runs-on: ubuntu-latest
+    steps:
+      - run: gh pr comment $PR_URL --body "Thanks for opening this PR! Before anything, please check that the website builds correctly and that there is a minimal amount of typos. Thanks!"
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          PR_URL: ${{ github.event.pull_request.html_url }}