Delete comment when pull request is labeled

This commit is contained in:
Alex Root Junior 2022-04-11 03:59:09 +03:00
parent 370cd27471
commit 7ae588d4b8
No known key found for this signature in database
GPG key ID: 074C1D455EBEA4AC

View file

@ -25,6 +25,7 @@ jobs:
run: pip install towncrier run: pip install towncrier
- name: "Check changelog" - name: "Check changelog"
if: "!contains(github.event.pull_request.labels.*.name, 'skip news')"
env: env:
BASE_BRANCH: ${{ github.base_ref }} BASE_BRANCH: ${{ github.base_ref }}
run: | run: |
@ -67,3 +68,10 @@ jobs:
# :heavy_check_mark: Changelog found. # :heavy_check_mark: Changelog found.
Thank you for adding a description of the changes Thank you for adding a description of the changes
- name: Delete comment when not labeled
if: "contains(github.event.pull_request.labels.*.name, 'skip news')"
uses: peter-evans/delete-comment@v2
with:
comment-id: ${{ steps.fc.outputs.comment-id }}
issue-number: ${{ github.event.pull_request.number }}