diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2023-02-07 16:27:06 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-02-07 16:27:06 +0100 |
commit | c820bd413efaa0c186d14ed7c7e8c08962d09ca8 (patch) | |
tree | 7f386fe52ffde43452d946c070a915c3175dfa33 | |
parent | 8586e8ab84b46d22ce904a84b6f1c3f798dad24e (diff) | |
parent | de95bb2a98de9de3b18365122165ac4ac425fcbd (diff) | |
download | systemd-c820bd413efaa0c186d14ed7c7e8c08962d09ca8.tar.gz |
Merge pull request #26338 from jamacku/fix-labeling
ci: Fix automatic removing of labels when PR is closed
-rw-r--r-- | .github/workflows/labeler.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/labeler.yml b/.github/workflows/labeler.yml index b6f65afd4e..c282df8d73 100644 --- a/.github/workflows/labeler.yml +++ b/.github/workflows/labeler.yml @@ -83,7 +83,7 @@ jobs: }) - uses: actions/github-script@98814c53be79b1d30f795b907e553d8679345975 - if: github.event_name == 'pull_request_target' && github.event.action == 'closed' && github.event.issue.pull_request + if: github.event_name == 'pull_request_target' && github.event.action == 'closed' with: script: | for (const label of ["please-review", @@ -97,7 +97,7 @@ jobs: "needs-discussion 🤔", "needs-reporter-feedback ❓", "dont-merge", - "squash-on-merge, + "squash-on-merge", "quick-review"]) { try { await github.rest.issues.removeLabel({ |