Skip to content

close stale PRs and Issues#3773

Merged
dims merged 1 commit intogoogle:masterfrom
dims:close-stale-prs-and-issues
Dec 9, 2025
Merged

close stale PRs and Issues#3773
dims merged 1 commit intogoogle:masterfrom
dims:close-stale-prs-and-issues

Conversation

@dims
Copy link
Collaborator

@dims dims commented Dec 9, 2025

This change updates the GitHub action to mark inactive issues and PRs as
stale to match other projects.

Adding a lifecycle/frozen label bypasses these checks.

Signed-off-by: Davanum Srinivas <davanum@gmail.com>
@dims dims merged commit 1d8c127 into google:master Dec 9, 2025
7 checks passed
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.

1 participant