Merge pull request #26338 from jamacku/fix-labeling

ci: Fix automatic removing of labels when PR is closed
This commit is contained in:
Zbigniew Jędrzejewski-Szmek
2023-02-07 16:27:06 +01:00
committed by GitHub
+2 -2
View File
@@ -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({