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

chore: stale bot should make a comment, also change day until stale to 60 days #3355

Merged
merged 1 commit into from
May 31, 2023

Conversation

Boshen
Copy link
Contributor

@Boshen Boshen commented May 31, 2023

Summary

It was brought to me that labeling anything as stale without context is invasive, this updates the bot to leave a comment on why a particular issue / pr is marked as stale.

🤖 Generated by Copilot at bad2464

No summary available (An error occurred while summarizing these changes: Gave up after 3 retries: Failed to read error response)

Walkthrough

🤖 Generated by Copilot at bad2464

  • Increase the time before issues and pull requests are marked as stale from 30 to 60 days (daysUntilStale option in link)
  • Exclude issues with the label "tracking issue" from being marked as stale (exemptLabels option in link)
  • Customize the messages for issues and pull requests when they are marked as stale (markComment option in link)
    • For issues, ask the author or participants to leave a comment if the issue is still relevant and provide any new information (markComment.issues in link)
    • For pull requests, ask the author to leave a comment if the pull request is still ready for review and merge (markComment.pullRequests in link)
    • Apologize for the lack of prioritization and acknowledge the potential frustration of the stale bot in both messages (markComment.issues and markComment.pullRequests in link)

@Boshen Boshen requested a review from hardfist May 31, 2023 04:43
@github-actions github-actions bot added the team The issue/pr is created by the member of Rspack. label May 31, 2023
@Boshen Boshen merged commit 0b33e81 into main May 31, 2023
22 of 23 checks passed
@Boshen Boshen deleted the stale-bot branch May 31, 2023 08:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
team The issue/pr is created by the member of Rspack.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants