Allow an entry to suppress initrd= options #76489
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
--- | |
# vi: ts=2 sw=2 et: | |
# SPDX-License-Identifier: LGPL-2.1-or-later | |
# | |
name: "Pull Request Labeler" | |
on: | |
pull_request_target: | |
types: [opened, synchronize, reopened, ready_for_review, closed] | |
paths-ignore: | |
- '.github/labeler.yml' | |
- '.github/workflows/labeler.yml' | |
# Allow testing changes made to the labeler configuration | |
pull_request: | |
paths: | |
- '.github/labeler.yml' | |
- '.github/workflows/labeler.yml' | |
issue_comment: | |
types: [created] | |
permissions: | |
contents: read | |
jobs: | |
triage: | |
if: github.repository == 'systemd/systemd' | |
runs-on: ubuntu-latest | |
permissions: | |
pull-requests: write | |
steps: | |
- name: Repository checkout | |
uses: actions/checkout@9bb56186c3b09b4f86b1c65136769dd318469633 | |
if: github.event_name == 'pull_request' | |
- name: Label PR based on policy in labeler.yml | |
uses: actions/labeler@8558fd74291d67161a8a78ce36a881fa63b766a9 | |
if: startsWith(github.event_name, 'pull_request') && github.event.action != 'closed' | |
with: | |
repo-token: "${{ secrets.GITHUB_TOKEN }}" | |
configuration-path: .github/labeler.yml | |
sync-labels: false | |
- name: Set or remove labels based on systemd development workflow | |
uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea | |
if: startsWith(github.event_name, 'pull_request') && github.event.action != 'closed' && !github.event.pull_request.draft | |
with: | |
script: | | |
response = await github.rest.issues.listLabelsOnIssue({ | |
issue_number: context.issue.number, | |
owner: context.repo.owner, | |
repo: context.repo.repo, | |
}); | |
original = new Set(response.data.map(l => l.name)); | |
labels = new Set(original); | |
good_to_merge = new Set([ | |
"good-to-merge/waiting-for-ci 👍", | |
"good-to-merge/after-next-release", | |
"good-to-merge/with-minor-suggestions", | |
"good-to-merge/waiting-for-reporter-feedback 👍", | |
]); | |
if (Array.from(labels).filter(l => good_to_merge.has(l)).length == 0) { | |
labels.add("please-review"); | |
} | |
for (const label of ["reviewed/needs-rework 🔨", | |
"ci-fails/needs-rework 🔥", | |
"ci-failure-appears-unrelated", | |
"needs-rebase"]) { | |
labels.delete(label); | |
} | |
if (labels.size != original.size || Array.from(labels).some(l => !original.has(l))) { | |
await github.rest.issues.setLabels({ | |
issue_number: context.issue.number, | |
owner: context.repo.owner, | |
repo: context.repo.repo, | |
labels: Array.from(labels), | |
}); | |
} | |
- name: Add please-review label on command in issue comment | |
uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea | |
if: github.event_name == 'issue_comment' && github.event.issue.pull_request && startsWith(github.event.comment.body, '/please-review') | |
with: | |
script: | | |
await github.rest.issues.addLabels({ | |
issue_number: context.issue.number, | |
owner: context.repo.owner, | |
repo: context.repo.repo, | |
labels: ["please-review"] | |
}) | |
- name: Remove specific labels when PR is closed or merged | |
uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea | |
if: startsWith(github.event_name, 'pull_request') && github.event.action == 'closed' | |
with: | |
script: | | |
response = await github.rest.issues.listLabelsOnIssue({ | |
issue_number: context.issue.number, | |
owner: context.repo.owner, | |
repo: context.repo.repo, | |
}); | |
original = new Set(response.data.map(l => l.name)); | |
labels = new Set(original); | |
for (const label of ["please-review", | |
"reviewed/needs-rework 🔨", | |
"ci-fails/needs-rework 🔥", | |
"needs-rebase", | |
"good-to-merge/waiting-for-ci 👍", | |
"good-to-merge/after-next-release", | |
"good-to-merge/with-minor-suggestions", | |
"good-to-merge/waiting-for-reporter-feedback 👍", | |
"needs-discussion 🤔", | |
"needs-reporter-feedback ❓", | |
"dont-merge 💣", | |
"squash-on-merge", | |
"quick-review 🏃♂️"]) { | |
labels.delete(label); | |
} | |
if (labels.size != original.size || Array.from(labels).some(l => !original.has(l))) { | |
await github.rest.issues.setLabels({ | |
issue_number: context.issue.number, | |
owner: context.repo.owner, | |
repo: context.repo.repo, | |
labels: Array.from(labels), | |
}); | |
} |