Merge pull request #912 from eu-cdse/level0 #629

	name: Merge publish branch into staging
	on:
	push:
	branches: publish

	jobs:
	merge-publish-to-staging:
	timeout-minutes: 2
	runs-on: ubuntu-latest
	permissions:
	contents: write
	steps:
	- uses: actions/checkout@v2
	- name: Set Git config
	run: \|
	git config --local user.email "actions@github.com"
	git config --local user.name "Github Actions"
	- name: Merge main back to staging
	run: \|
	git fetch --unshallow
	git checkout staging
	git pull
	git merge --no-ff origin/publish -m "Auto-merge publish to staging"
	git push

Provide feedback