Skip to content

ci: Add community-bot#6

Merged
ko3n1g merged 1 commit intomainfrom
ko3n1g/ci/add-community-bot
Jul 23, 2025
Merged

ci: Add community-bot#6
ko3n1g merged 1 commit intomainfrom
ko3n1g/ci/add-community-bot

Conversation

@ko3n1g
Copy link
Copy Markdown
Contributor

@ko3n1g ko3n1g commented Jul 23, 2025

For community engagement, we want to prevent to close issues when they are waiting for us to respond. We therefore apply a label community-request to PRs that require our action. The action actions/stale will ignore such issues from marking it as stale.

Signed-off-by: oliver könig <okoenig@nvidia.com>
@ko3n1g ko3n1g merged commit 8ab624c into main Jul 23, 2025
8 of 11 checks passed
@chtruong814 chtruong814 deleted the ko3n1g/ci/add-community-bot branch January 29, 2026 20:21
huvunvidia pushed a commit that referenced this pull request Feb 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants