Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Add a stale CI workflow #1775

Merged
merged 2 commits into from
Dec 3, 2024
Merged

Add a stale CI workflow #1775

merged 2 commits into from
Dec 3, 2024

Conversation

leighmcculloch
Copy link
Member

What

Add a stale CI workflow that closes old pull requests and issues.

Pull requests are closed if they have been idle for more than 30 days. They can be preserved by pushing an update or removing the stale label.

Issues are closed if they've been assigned to someone for more than 30 days with no activity. They can be preserved by updating the assignee either to another person or to no one, or the stale label removed.

Why

Keep the repo fresh.

@leighmcculloch leighmcculloch requested a review from fnando December 3, 2024 21:48
@leighmcculloch
Copy link
Member Author

We unlikely want to close stale issues, but this bot will act as a way to get assigned stale issues updated so that they are no longer assigned.

@leighmcculloch leighmcculloch merged commit 5454d84 into main Dec 3, 2024
31 checks passed
@leighmcculloch leighmcculloch deleted the stale branch December 3, 2024 22:34
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants