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: add stale bot, which only adds the "stale" label and never closes issues or PRs #3065

Merged
merged 1 commit into from
May 9, 2023

Conversation

Boshen
Copy link
Contributor

@Boshen Boshen commented May 9, 2023

Related issue (if exists)

Summary

It is considered harmful to close issues or PRs, so our stale bot will never close an issue or PR.
To remove the stale label, just leave a new comment.
Adapted from https://github.com/NixOS/nixpkgs/blob/master/.github/STALE-BOT.md

🤖 Generated by Copilot at 060e7f6

Add probot-stale bot configuration to label inactive issues and PRs as stale. This helps to keep the repository clean and active, and to avoid losing track of relevant or useful contributions.

Walkthrough

🤖 Generated by Copilot at 060e7f6

  • Add a configuration file for the probot-stale bot to label inactive issues and PRs as stale (link)

@Boshen Boshen requested review from hardfist and hyf0 May 9, 2023 02:38
@github-actions github-actions bot added the team The issue/pr is created by the member of Rspack. label May 9, 2023
@Boshen Boshen self-assigned this May 9, 2023
@Boshen Boshen added this pull request to the merge queue May 9, 2023
Merged via the queue into main with commit ec8744f May 9, 2023
14 checks passed
@Boshen Boshen deleted the stale-bot branch May 9, 2023 04:31
IWANABETHATGUY pushed a commit that referenced this pull request May 9, 2023
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