From 982ea578be1e0b934e75b41cb8d65d2ffe05558a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?H=C3=A9ctor=20Ram=C3=B3n=20Jim=C3=A9nez?=
 <hector0193@gmail.com>
Date: Sun, 3 Sep 2023 08:43:58 +0200
Subject: [PATCH] Stop verifying the `CHANGELOG` on every PR

It's a real pain to keep it up-to-date. Way easier
to generate it with a script before release.
---
 .github/workflows/verify.yml | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 .github/workflows/verify.yml

diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml
deleted file mode 100644
index 089dd5c9df..0000000000
--- a/.github/workflows/verify.yml
+++ /dev/null
@@ -1,19 +0,0 @@
-name: Verify
-on:
-  pull_request:
-    branches:
-      - master
-jobs:
-  changelog:
-    runs-on: ubuntu-20.04
-    steps:
-    - uses: actions/checkout@v2
-      with:
-        fetch-depth: 0
-    - name: Check `CHANGELOG.md` has changes
-      run: |
-        ! git diff --exit-code origin/master HEAD -- CHANGELOG.md
-    - name: Check `CHANGELOG.md` thanks the PR author
-      if: ${{ github.event.pull_request.user.login != 'hecrj' }}
-      run: |
-        sed -n '/## \[Unreleased\]/,/^## /p' CHANGELOG.md | sed -n '/Many thanks to.../,//p' | grep '@${{ github.event.pull_request.user.login }}'