Merge pull request #166 from NCTUCSUnion/dev

Dev

Author: gainsborouo

.github/dependabot.yml

@@ -3,7 +3,6 @@ version: 2
 updates:
   - package-ecosystem: "github-actions"
     directory: "/"
-    target-branch: "dev"
     schedule:
       interval: "weekly"
       day: "monday"
@@ -19,7 +18,6 @@ updates:
 
   - package-ecosystem: "uv"
     directory: "/backend"
-    target-branch: "dev"
     schedule:
       interval: "weekly"
       day: "monday"
@@ -36,7 +34,6 @@ updates:
 
   - package-ecosystem: "npm"
     directory: "/"
-    target-branch: "dev"
     schedule:
       interval: "weekly"
       day: "monday"
@@ -70,7 +67,6 @@ updates:
 
   - package-ecosystem: "docker"
     directory: "/backend"
-    target-branch: "dev"
     schedule:
       interval: "weekly"
       day: "monday"
@@ -86,7 +82,6 @@ updates:
 
   - package-ecosystem: "docker"
     directory: "/frontend"
-    target-branch: "dev"
     schedule:
       interval: "weekly"
       day: "monday"

.github/workflows/pr.yml

@@ -0,0 +1,23 @@
+name: Enforce PR base branch to dev
+
+on:
+  pull_request_target:
+    types: [opened, edited, reopened]
+
+jobs:
+  check-branch:
+    runs-on: ubuntu-latest
+    permissions:
+      pull-requests: write
+      contents: read
+    steps:
+      - uses: Vankka/pr-target-branch-action@v3
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        with:
+          target: main
+          exclude: dev
+          change-to: dev
+          comment: |
+            PRs in this repository must target `dev`, not `main`.
+            The base branch has been automatically changed to `dev`. Please verify there are no merge conflicts.