system/systemd
system/systemd
1
0
Fork 0
mirror of https://github.com/systemd/systemd synced 2024-07-22 02:34:54 +00:00
Code Issues Actions 5 Packages Projects Releases Wiki Activity

ci: Fix PR labeling

Browse source 
Make sure we only add labels to open pull request and remove labels
from closed pull requests.
This commit is contained in:
Daan De Meyer 2023-01-12 11:11:12 +01:00
parent 2c281e6db5
commit da2a4f6a2e
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
.github/workflows/labeler.yml vendored
View file

@ -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",