From bb18ee817ac9bc2985af926aedcd300ecf88a7d1 Mon Sep 17 00:00:00 2001
From: "Jae Lo Presti [j4]" <git@777.tf>
Date: Tue, 23 Apr 2024 23:47:37 +0300
Subject: [PATCH] chore: add welcome message on PR

---
 .github/workflows/pull_request.yaml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 .github/workflows/pull_request.yaml

diff --git a/.github/workflows/pull_request.yaml b/.github/workflows/pull_request.yaml
new file mode 100644
index 0000000..5e9ec45
--- /dev/null
+++ 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 }}