From 163f713b31f10db261425607a76aa3e0ecb56f43 Mon Sep 17 00:00:00 2001
From: RobertBeekman <mail@rbeekman.nl>
Date: Sat, 17 Oct 2026 21:10:33 +0200
Subject: [PATCH] CI - Allow pull requests to master from any branch

Remove the workflow that only allowed pull requests to master from development, which no longer exists.
---
 .github/workflows/pr-branch.yml | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 .github/workflows/pr-branch.yml

diff --git a/.github/workflows/pr-branch.yml b/.github/workflows/pr-branch.yml
deleted file mode 100644
index 08ce8793d..000000000
--- a/.github/workflows/pr-branch.yml
+++ /dev/null
@@ -1,17 +0,0 @@
-name: Check pull request branch
-on:
-  pull_request_target:
-    types:
-      - opened
-      - reopened
-      - synchronize
-jobs:
-  check-branches:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Check branches
-        run: |
-          if [ ${{ github.head_ref }} != "development" ] && [ ${{ github.base_ref }} == "master" ]; then
-            echo "Merge requests to master are only allowed from development."
-            exit 1
-          fi
\ No newline at end of file