Merge pull request #460 from MLB-LED-Scoreboard/require-release-branch

Workflow to require release branch to merge to master
MLB-LED-Scoreboard · Apr 16, 2023 · cf471b7 · cf471b7
2 parents 4a373db + b0ec494
commit cf471b7
Show file tree

Hide file tree

Showing 3 changed files with 21 additions and 0 deletions.
diff --git a/.github/workflows/require_release_branch.yml b/.github/workflows/require_release_branch.yml
@@ -0,0 +1,14 @@
+name: Require release branch
+
+on:
+  pull_request:
+
+jobs:
+  check_branch:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check branch
+        if: github.base_ref == 'master' && github.head_ref != 'dev'
+        run: |
+          echo "ERROR: You can only merge to master from dev. Contributors should point their PRs to the dev branch."
+          exit 1
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -1,3 +1,5 @@
 It's easy, just do the work and submit a pull request. If it's a major feature, please log an issue first.
 
+Please point all PRs to the dev branch.
+
 In pull requests, please upload a screenshot of your board.
diff --git a/PULL_REQUEST_TEMPLATE.md b/PULL_REQUEST_TEMPLATE.md
@@ -0,0 +1,5 @@
+<!--
+REMINDER: PRs should point to the dev branch!
+
+Please provide details about this PR, including any issues it resolves. 
+-->