Skip to content

Merge branch 'egm-10-25-update' of https://github.com/CSSUoB/cssuob.g… #174

Merge branch 'egm-10-25-update' of https://github.com/CSSUoB/cssuob.g…

Merge branch 'egm-10-25-update' of https://github.com/CSSUoB/cssuob.g… #174

Workflow file for this run

name: pr-auto-update
on:
push: {}
jobs:
pr-auto-update:
name: Automatic PR Updater
runs-on: ubuntu-latest
permissions:
pull-requests: write
contents: write
steps:
- name: Generate Access Token
uses: actions/create-github-app-token@v2
id: generate-token
with:
app-id: ${{ vars.PR_AUTO_UPDATE_CLIENT_ID }}
private-key: ${{ secrets.PR_AUTO_UPDATE_PRIVATE_KEY }}
- uses: CSSUoB/[email protected]
env:
GITHUB_TOKEN: ${{ steps.generate-token.outputs.token }}
PR_FILTER: 'labelled'
PR_LABELS: 'sync'
MERGE_CONFLICT_ACTION: 'label'
MERGE_CONFLICT_LABEL: 'conflict'