From 1af0f79de80fc9a64c1a2b8e1711ef4982361d8f Mon Sep 17 00:00:00 2001
From: Konsti Wohlwend <n2d4xc@gmail.com>
Date: Sat, 6 Jul 2024 13:51:24 -0700
Subject: [PATCH] Add a mirror branch of `main` for with-dev-backend (#129)

---
 .github/workflows/mirror-to-wdb.yaml | 32 ++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 .github/workflows/mirror-to-wdb.yaml

diff --git a/.github/workflows/mirror-to-wdb.yaml b/.github/workflows/mirror-to-wdb.yaml
new file mode 100644
index 000000000..ba9517000
--- /dev/null
+++ 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