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

This commit is contained in:
Konsti Wohlwend 2024-07-06 13:51:24 -07:00 committed by GitHub
parent 05ed1ba640
commit 1af0f79de8
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

32
.github/workflows/mirror-to-wdb.yaml vendored Normal file
View File

@ -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