fix(ci): comment on closed issues when closed by commit or PR

This commit is contained in:
kolaente 2025-09-22 14:06:56 +02:00
parent 32501bc93b
commit e3f3eeea6b
No known key found for this signature in database
GPG Key ID: F40E70337AB24C9B
1 changed files with 0 additions and 2 deletions

View File

@ -7,8 +7,6 @@ on:
jobs:
comment-on-issue-closure:
runs-on: ubuntu-latest
# Only run if the issue was closed by a commit (not manually)
if: ${{ github.event.issue.closed_by.type == 'Bot' || github.event.issue.closed_by.login != null }}
steps:
- name: Check if issue was closed by commit
id: check-commit