Add a mirror branch of main for with-dev-backend (stack-auth#129)

N2D4 · web-flow · commit 1af0f79de80f · 2024-07-06T13:51:24.000-07:00
diff --git a/.github/workflows/mirror-to-wdb.yaml b/.github/workflows/mirror-to-wdb.yaml
@@ -0,0 +1,32 @@
+name: Mirror main branch to main-mirror-for-wdb
+
+on:
+  push:
+    branches:
+      - main
+
+jobs:
+  lint_and_build:
+    permissions:
+      contents: write
+
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v3
+
+      - name: Mirror branch
+        run: |
+          git pull --all
+          git switch -c main-mirror-for-wdb
+          git reset --hard origin/main
+          
+      - name: Trigger rebuild
+        run: |
+          git config --global user.email "github-actions[bot]@users.noreply.github.com"
+          git config --global user.name "github-actions[bot]"
+          git commit --allow-empty -m "Trigger Vercel rebuild"
+
+      - name: Push branch
+        run: |
+          git push -f origin main-mirror-for-wdb
