Make sure new PRs are sent to develop

joke2k · Mar 1, 2023 · 998ad13 · 998ad13
1 parent a90770d
commit 998ad13
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/.github/workflows/change-pr-target.yml b/.github/workflows/change-pr-target.yml
@@ -0,0 +1,20 @@
+name: Make sure new PRs are sent to develop
+
+on:
+  pull_request_target:
+    types: [opened, edited]
+
+jobs:
+  check-branch:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: Vankka/pr-target-branch-action@v2
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        with:
+          target: main
+          exclude: develop # Don't prevent going from develop -> main
+          change-to: develop
+          comment: |
+            Your PR was set to target `main`, PRs should be target `develop`
+            The base branch of this PR has been automatically changed to `develop`, please check that there are no merge conflicts.