disallow pull request directly to master

pedrolcl · Mar 7, 2024 · 61e7b7e · 61e7b7e
1 parent a8c84f9
commit 61e7b7e
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/.github/workflows/check-branches.yml b/.github/workflows/check-branches.yml
@@ -0,0 +1,19 @@
+name: Check pull request branch
+on:
+  pull_request_target:
+    types:
+      - opened
+      - reopened
+      - synchronize
+      - edited
+
+jobs:
+  check-branches:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check branches
+        run: |
+          if [ ${{ github.head_ref }} != "devel" ] && [ ${{ github.base_ref }} == "master" ]; then
+            echo "Merge requests to master branch are only allowed from devel branch."
+            exit 1
+          fi