Merge branch 'main' of github.com:plantinformatics/pretzel-documentat… #5

	name: Auto update develop 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
	- 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