fix for auto deploy for docs #6

	name: repo__auto-update-dev-branch

	on:
	push:
	branches:
	- main # Trigger on pushes to main branch
	workflow_dispatch: # Allow manual triggering

	jobs:
	auto-merge:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	with:
	fetch-depth: 0
	token: ${{ secrets.PAT }}
	- name: Merge main -> develop
	run: \|
	git config user.name github-actions
	git config user.email [email protected]
	git checkout develop
	git rebase origin/main
	git push --force-with-lease origin develop

Provide feedback