From 0d4433159be2def1f5da9bbddf352197da062a60 Mon Sep 17 00:00:00 2001
From: egelhaus <156946629+egelhaus@users.noreply.github.com>
Date: Mon, 10 Mar 2025 13:44:34 +0100
Subject: [PATCH] Create dev-branch

---
 .github/workflows/dev-branch | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 .github/workflows/dev-branch

diff --git a/.github/workflows/dev-branch b/.github/workflows/dev-branch
new file mode 100644
index 00000000..9e5b36ed
--- /dev/null
+++ b/.github/workflows/dev-branch
@@ -0,0 +1,23 @@
+name: Make sure new PRs are sent to development
+
+on:
+  pull_request_target:
+    types: [opened, edited]
+
+jobs:
+  check-branch:
+    runs-on: ubuntu-latest
+    permissions:
+      pull-requests: write
+    steps:
+      # Do not checkout the repository here. See https://securitylab.github.com/research/github-actions-preventing-pwn-requests/ for more information
+      - uses: Vankka/pr-target-branch-action@v3
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        with:
+          target: main
+          exclude: dev # Don't prevent going from development -> main
+          change-to: dev
+          comment: |
+              Your PR's base branch was set to `main`, PRs should be set to target `dev`.
+              The base branch of this PR has been automatically changed to `development`, please check that there are no merge conflicts