Skip to content

Merge approved PR to development #213

Merge approved PR to development

Merge approved PR to development #213

Workflow file for this run

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/github-script@v3.1.0
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 github-actions@github.com
git fetch origin pull/${pr}/head:temp
git merge --squash --no-edit temp
git commit -m "Merged latest from PR ${pr}"
git push