Skip to content
This repository was archived by the owner on May 20, 2026. It is now read-only.

ci: Add community-bot#6

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

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

Conversation

@ko3n1g

@ko3n1g ko3n1g commented Jul 23, 2025

Copy link
Copy Markdown
Contributor

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 subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants