From 0e144ec287d33d3d16495a72fb800313cbd3e663 Mon Sep 17 00:00:00 2001
From: "Jae Lo Presti [j4]" <git@777.tf>
Date: Sat, 27 Apr 2024 11:40:12 +0300
Subject: [PATCH] ci: remove welcome message

---
 .github/workflows/pull_request.yaml | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 .github/workflows/pull_request.yaml

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