ci(branch-switcher): Switch the base branch to dev

If the head branch is not `dev`, all PR should be merged into `dev`.
5ouma · Apr 7, 2024 · 8d397e4 · 8d397e4
1 parent 42b86fd
commit 8d397e4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 27 deletions.
diff --git a/.github/branch-switcher.yml b/.github/branch-switcher.yml
@@ -0,0 +1,3 @@
+preferredBranch: dev
+exclude:
+  - branch: dev
diff --git a/.github/workflows/pr-check.yml b/.github/workflows/pr-check.yml