Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

cicd: add stale bot #13

Merged
merged 5 commits into from
Mar 1, 2024
Merged

cicd: add stale bot #13

merged 5 commits into from
Mar 1, 2024

Conversation

korikuzma
Copy link
Member

@korikuzma korikuzma commented Feb 25, 2024

close #12 . https://github.com/actions/stale . We will need to add a stale labels to all of our repos.

  • Comments on stale issues and PRs

* Comments on stale issues and PRs
@korikuzma korikuzma added ci Continuous integration changes priority:low Low priority labels Feb 25, 2024
@korikuzma korikuzma self-assigned this Feb 25, 2024
ahwagner
ahwagner previously approved these changes Feb 26, 2024
Copy link
Member

@ahwagner ahwagner left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good. Are we certain about these stale periods, though? Since these are notifications and not closures, should we be a little more aggressive with stale times?

E.g. 14 days for an issue, 7 for a PR?

@korikuzma
Copy link
Member Author

@ahwagner 7 days for a PR makes sense. 14 days for issues seems a little short for me. I am thinking about all the issues we have in our repos... I think if we were to get spammed with comments, it might result in us ignoring these notifications. Maybe 30 or 45 days?

@ahwagner
Copy link
Member

@ahwagner 7 days for a PR makes sense. 14 days for issues seems a little short for me. I am thinking about all the issues we have in our repos... I think if we were to get spammed with comments, it might result in us ignoring these notifications. Maybe 30 or 45 days?

Yeah, I understand that. Pick a number that seems like a reasonable starting point to you and we can reassess down the road.

@korikuzma korikuzma merged commit 8e98a7e into main Mar 1, 2024
3 checks passed
@korikuzma korikuzma deleted the issue-12 branch March 1, 2024 14:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ci Continuous integration changes priority:low Low priority
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add stale bot
2 participants