ci: Fix PR labeling

Make sure we only add labels to open pull request and remove labels
from closed pull requests.

diff --git a/.github/workflows/labeler.yml b/.github/workflows/labeler.yml
index 400e8c6fb62b905cfdb811eaba2d8143f6634726..e7e61bcacd0f7a0486fa2c8f8aa1e456d52e8d21 100644 (file)
--- a/.github/workflows/labeler.yml
+++ b/.github/workflows/labeler.yml
@@ -21,14 +21,14 @@ jobs:
       pull-requests: write
     steps:
     - uses: actions/labeler@e54e5b338fbd6e6cdb5d60f51c22335fc57c401e
-      if: github.event_name == 'pull_request_target'
+      if: github.event_name == 'pull_request_target' && github.event.action != 'closed'
       with:
         repo-token: "${{ secrets.GITHUB_TOKEN }}"
         configuration-path: .github/labeler.yml
         sync-labels: "" # This is a workaround for issue 18671
 
     - uses: actions/github-script@d556feaca394842dc55e4734bf3bb9f685482fa0
-      if: github.event_name == 'pull_request_target' && !github.event.pull_request.draft
+      if: github.event_name == 'pull_request_target' && github.event.action != 'closed' && !github.event.pull_request.draft
       with:
         script: |
           response = await github.rest.issues.listLabelsOnIssue({
@@ -83,7 +83,7 @@ jobs:
           })
 
     - uses: actions/github-script@d556feaca394842dc55e4734bf3bb9f685482fa0
-      if: github.event_name == 'pull_request_target' && github.event.issue.pull_request && github.event.pull_request.merged == true
+      if: github.event_name == 'pull_request_target' && github.event.action == 'closed' && github.event.issue.pull_request
       with:
         script: |
           for (const label of ["please-review",