diff options
author | Daan De Meyer <daan.j.demeyer@gmail.com> | 2023-01-10 13:16:33 +0100 |
---|---|---|
committer | Daan De Meyer <daan.j.demeyer@gmail.com> | 2023-01-10 14:52:53 +0100 |
commit | 81315baa68c9c8f7f6f5608fa8bc1daebf0618df (patch) | |
tree | 46acf25afb2400c5d7b74dc9b3b08dd0e5fd6ff4 | |
parent | 9914ae60382176b6a09c6226e8e90ab7184e8431 (diff) | |
download | systemd-81315baa68c9c8f7f6f5608fa8bc1daebf0618df.tar.gz |
ci: Remove a bunch of labels when a PR is merged
-rw-r--r-- | .github/workflows/labeler.yml | 33 |
1 files changed, 32 insertions, 1 deletions
diff --git a/.github/workflows/labeler.yml b/.github/workflows/labeler.yml index c3b4040add..400e8c6fb6 100644 --- a/.github/workflows/labeler.yml +++ b/.github/workflows/labeler.yml @@ -6,7 +6,7 @@ name: "Pull Request Labeler" on: pull_request_target: - types: [opened, synchronize, reopened, ready_for_review] + types: [opened, synchronize, reopened, ready_for_review, closed] issue_comment: types: [created] @@ -81,3 +81,34 @@ jobs: repo: context.repo.repo, labels: ["please-review"] }) + + - uses: actions/github-script@d556feaca394842dc55e4734bf3bb9f685482fa0 + if: github.event_name == 'pull_request_target' && github.event.issue.pull_request && github.event.pull_request.merged == true + 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 ❓", + "dont-merge", + "squash-on-merge, + "quick-review"]) { + 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; + } + } + } |