2022-08-23 23:59:29 +08:00
|
|
|
name: Backport
|
|
|
|
|
on:
|
|
|
|
|
pull_request_target:
|
|
|
|
|
types:
|
|
|
|
|
- closed
|
|
|
|
|
- labeled
|
|
|
|
|
branches:
|
|
|
|
|
- develop
|
|
|
|
|
|
2024-11-20 23:44:02 +08:00
|
|
|
permissions: {} # We use ELEMENT_BOT_TOKEN instead
|
|
|
|
|
|
2022-08-23 23:59:29 +08:00
|
|
|
jobs:
|
|
|
|
|
backport:
|
|
|
|
|
name: Backport
|
2024-10-17 18:10:32 +08:00
|
|
|
runs-on: ubuntu-24.04
|
2022-08-23 23:59:29 +08:00
|
|
|
# Only react to merged PRs for security reasons.
|
|
|
|
|
# See https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request_target.
|
|
|
|
|
if: >
|
|
|
|
|
github.event.pull_request.merged
|
|
|
|
|
&& (
|
|
|
|
|
github.event.action == 'closed'
|
|
|
|
|
|| (
|
|
|
|
|
github.event.action == 'labeled'
|
|
|
|
|
&& contains(github.event.label.name, 'backport')
|
|
|
|
|
)
|
|
|
|
|
)
|
|
|
|
|
steps:
|
2023-08-08 22:17:41 +08:00
|
|
|
- uses: tibdex/backport@9565281eda0731b1d20c4025c43339fb0a23812e # v2
|
2022-08-23 23:59:29 +08:00
|
|
|
with:
|
2022-09-07 19:50:05 +08:00
|
|
|
labels_template: "<%= JSON.stringify([...labels, 'X-Release-Blocker']) %>"
|
2022-08-23 23:59:29 +08:00
|
|
|
# We can't use GITHUB_TOKEN here or CI won't run on the new PR
|
|
|
|
|
github_token: ${{ secrets.ELEMENT_BOT_TOKEN }}
|
