2021-10-01 12:09:20 +02:00
---
# vi: ts=2 sw=2 et:
2021-10-01 12:10:22 +02:00
# SPDX-License-Identifier: LGPL-2.1-or-later
2021-10-01 12:09:20 +02:00
#
2020-12-12 12:00:26 +05:30
name : "Pull Request Labeler"
2021-10-01 12:09:20 +02:00
2020-12-12 12:00:26 +05:30
on :
2022-12-09 12:10:09 +01:00
pull_request_target :
2023-01-10 13:16:33 +01:00
types : [ opened, synchronize, reopened, ready_for_review, closed]
2022-12-09 12:10:09 +01:00
issue_comment :
types : [ created]
2020-12-12 12:00:26 +05:30
2021-11-13 14:40:20 +00:00
permissions :
contents : read
2020-12-12 12:00:26 +05:30
jobs :
triage :
2022-12-09 12:10:09 +01:00
if : github.repository == 'systemd/systemd'
2020-12-12 12:00:26 +05:30
runs-on : ubuntu-latest
2021-11-14 09:41:42 +00:00
permissions :
pull-requests : write
2023-02-08 13:02:49 +01:00
2020-12-12 12:00:26 +05:30
steps :
2023-02-08 13:02:49 +01:00
- name : Label PR based on policy in labeler.yml
2023-08-01 09:03:30 +00:00
uses : actions/labeler@ac9175f8a1f3625fd0d4fb234536d26811351594
2023-01-12 11:11:12 +01:00
if : github.event_name == 'pull_request_target' && github.event.action != 'closed'
2020-12-12 12:00:26 +05:30
with :
repo-token : "${{ secrets.GITHUB_TOKEN }}"
configuration-path : .github/labeler.yml
2021-02-19 10:58:20 +05:30
sync-labels : "" # This is a workaround for issue 18671
2022-12-08 16:25:03 +01:00
2023-02-08 13:02:49 +01:00
- name : Set or remove labels based on systemd development workflow
2023-12-01 09:03:48 +00:00
uses : actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea
2023-01-12 11:11:12 +01:00
if : github.event_name == 'pull_request_target' && github.event.action != 'closed' && !github.event.pull_request.draft
2022-12-08 16:25:03 +01:00
with :
script : |
2022-12-09 12:10:09 +01:00
response = await github.rest.issues.listLabelsOnIssue({
2022-12-08 16:25:03 +01:00
issue_number : context.issue.number,
owner : context.repo.owner,
repo : context.repo.repo,
2022-12-09 12:10:09 +01:00
});
good_to_merge = [
"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 (response.data.every(l => !good_to_merge.includes(l.name))) {
await github.rest.issues.addLabels({
issue_number : context.issue.number,
owner : context.repo.owner,
repo : context.repo.repo,
labels : [ "please-review" ]
});
}
2022-12-08 16:25:03 +01:00
for (const label of ["reviewed/needs-rework 🔨",
"ci-fails/needs-rework 🔥" ,
2022-12-09 12:10:09 +01:00
"ci-failure-appears-unrelated" ,
"needs-rebase" ] ) {
2022-12-08 16:25:03 +01:00
try {
await github.rest.issues.removeLabel({
issue_number : context.issue.number,
owner : context.repo.owner,
repo : context.repo.repo,
name : label,
2022-12-09 12:10:09 +01:00
});
2022-12-08 16:25:03 +01:00
} catch (err) {
if (err.status != 404) {
throw err;
}
}
}
2023-02-08 13:02:49 +01:00
- name : Add please-review label on command in issue comment
2023-12-01 09:03:48 +00:00
uses : actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea
2022-12-08 16:25:03 +01:00
if : github.event_name == 'issue_comment' && github.event.issue.pull_request && startsWith(github.event.comment.body, '/please-review')
with :
script : |
2022-12-09 12:10:09 +01:00
await github.rest.issues.addLabels({
2022-12-08 16:25:03 +01:00
issue_number : context.issue.number,
owner : context.repo.owner,
repo : context.repo.repo,
labels : [ "please-review" ]
})
2023-01-10 13:16:33 +01:00
2023-02-08 13:02:49 +01:00
- name : Remove specific labels when PR is closed or merged
2023-12-01 09:03:48 +00:00
uses : actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea
2023-02-07 15:40:47 +01:00
if : github.event_name == 'pull_request_target' && github.event.action == 'closed'
2023-01-10 13:16:33 +01:00
with :
script : |
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 ❓" ,
2023-02-11 07:38:28 +01:00
"dont-merge 💣" ,
2023-02-07 15:39:37 +01:00
"squash-on-merge" ,
2023-02-11 07:35:07 +01:00
"quick-review 🏃♂️" ] ) {
2023-01-10 13:16:33 +01:00
try {
await github.rest.issues.removeLabel({
issue_number : context.issue.number,
owner : context.repo.owner,
repo : context.repo.repo,
name : label,
});
} catch (err) {
if (err.status != 404) {
throw err;
}
}
}