rosslh/coolify
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(ci): gate docs reminder comments on "Waiting for Docs PR" label (#10659)

Browse source
This commit is contained in:
Andras Bacsai 2026-06-23 17:24:09 +02:00 committed by GitHub
commit 3f0a0f7a0d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
.github/workflows/chore-pr-comments.yml vendored
View file

@ -40,7 +40,10 @@ jobs:
# This will help ensure that our documentation remains accurate and up-to-date for all users. # This will help ensure that our documentation remains accurate and up-to-date for all users.
steps: steps:
- name: Add comment - name: Add comment
if: github.event.label.name == matrix.label if: >-
(github.event.label.name == matrix.label || github.event.label.name == '📑 Waiting for Docs PR')
&& contains(github.event.pull_request.labels.*.name, matrix.label)
&& contains(github.event.pull_request.labels.*.name, '📑 Waiting for Docs PR')
run: gh pr comment "$NUMBER" --body "$BODY" run: gh pr comment "$NUMBER" --body "$BODY"
env: env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}