diff options
| author | Vaxry <vaxry@vaxry.net> | 2025-12-11 12:40:02 +0000 |
|---|---|---|
| committer | Vaxry <vaxry@vaxry.net> | 2025-12-11 12:40:02 +0000 |
| commit | 2ca7ad7efc1e20588af5c823ee46f23afad6cf91 (patch) | |
| tree | 0517c247de0661037c774967d0fe70338308ad57 /.github/workflows | |
| parent | 9aa313402b1be3df2925076bb1292d03e68bb47f (diff) | |
ci: disable comments for members
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/new-pr-comment.yml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.github/workflows/new-pr-comment.yml b/.github/workflows/new-pr-comment.yml index be017db8..36ea1909 100644 --- a/.github/workflows/new-pr-comment.yml +++ b/.github/workflows/new-pr-comment.yml @@ -7,6 +7,13 @@ on: jobs: comment: + if: > + github.event.pull_request.user.login != 'vaxerski' && + github.event.pull_request.user.login != 'fufexan' && + github.event.pull_request.user.login != 'gulafaran' && + github.event.pull_request.user.login != 'ujint34' && + github.event.pull_request.user.login != 'paideiadilemma' && + github.event.pull_request.user.login != 'notashelf' runs-on: ubuntu-latest permissions: pull-requests: write |