asdf #13

	name: Mirror main branch to main-mirror-for-wdb

	on:
	push:
	branches:
	- with-dev-backend

	jobs:
	lint_and_build:
	permissions:
	contents: write

	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v3
	with:
	token: ${{ secrets.REPO_PAT }}

	- 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 rebuild"

	- name: Push branch
	run: \|
	git push origin main-mirror-for-wdb

Provide feedback