mirror of
https://github.com/neovim/neovim
synced 2025-07-15 16:51:49 +00:00
ci: add needs:backport
label on backport PRs with conflict
This makes it easy to keep track of which backport PRs have failed and
need manual intervention to fix.
(cherry picked from commit 4c23b83456
)
This commit is contained in:
committed by
github-actions[bot]
parent
6f34f07a31
commit
b020b66005
12
.github/workflows/backport.yml
vendored
12
.github/workflows/backport.yml
vendored
@ -27,6 +27,18 @@ jobs:
|
||||
label_pattern: "^ci:backport ([^ ]+)$"
|
||||
github_token: ${{ steps.app-token.outputs.token }}
|
||||
|
||||
- name: Create failed backport label
|
||||
if: ${{ steps.backport.outputs.was_successful == 'false' }}
|
||||
uses: actions/github-script@v7
|
||||
with:
|
||||
script: |
|
||||
github.rest.issues.addLabels({
|
||||
issue_number: context.issue.number,
|
||||
owner: context.repo.owner,
|
||||
repo: context.repo.repo,
|
||||
labels: ['needs:backport']
|
||||
})
|
||||
|
||||
- name: Enable automerge
|
||||
env:
|
||||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
||||
|
Reference in New Issue
Block a user