fix cross_validation #303

	on:
	push:
	branches:
	- devel

	name: devel_setup

	jobs:
	devel_setup:
	runs-on: ubuntu-20.04
	env:
	GITHUB_PAT: ${{ secrets.GITHUB_TOKEN }}
	steps:
	- uses: actions/checkout@v2

	- name: Merge with devel-src and accept all incoming changes
	run: \|
	git config --local user.email "[email protected]"
	git config --local user.name "GitHub Actions"
	git config pull.rebase true
	git fetch origin
	git checkout devel-src
	git merge devel -X theirs --no-edit --no-commit --no-ff --allow-unrelated-histories
	git checkout --theirs .
	git add .
	git reset -- src/
	sed -i 's/NeedsCompilation: no/NeedsCompilation: yes/' DESCRIPTION
	git add DESCRIPTION
	git commit -m "Doing the setup"
	git push origin devel-src --force
	shell: bash

Provide feedback