Merge approved PR to development #246

	name: Merge approved PR to development
	on:
	workflow_run:
	workflows: ["Check if PR is approved"]
	types:
	- completed
	jobs:
	on-success:
	runs-on: ubuntu-latest
	if: ${{ github.event.workflow_run.conclusion == 'success' }}
	steps:
	- name: 'Checkout development'
	uses: actions/checkout@v2
	with:
	ref: development
	fetch-depth: 0
	token: ${{ secrets.MAUTIBOT_PAT }}

	- name: 'Download approved PR number'
	uses: actions/[email protected]
	with:
	script: \|
	var artifacts = await github.actions.listWorkflowRunArtifacts({
	owner: context.repo.owner,
	repo: context.repo.repo,
	run_id: ${{github.event.workflow_run.id }},
	});
	var matchArtifact = artifacts.data.artifacts.filter((artifact) => {
	return artifact.name == "pr"
	})[0];
	var download = await github.actions.downloadArtifact({
	owner: context.repo.owner,
	repo: context.repo.repo,
	artifact_id: matchArtifact.id,
	archive_format: 'zip',
	});
	var fs = require('fs');
	fs.writeFileSync('${{github.workspace}}/pr.zip', Buffer.from(download.data));

	- name: "Unzip PR"
	run: unzip pr.zip

	- name: "Merge PR into development"
	run: \|
	ls -n ${{github.workspace}}
	pr=$(cat '${{github.workspace}}/NR')
	git config user.name github-actions
	git config user.email [email protected]
	git fetch origin pull/${pr}/head:temp
	git merge --squash --no-edit temp
	git commit -m "Merged latest from PR ${pr}"
	git push

Provide feedback