Skip to content

Commit

Permalink
chore: Update stale bot settings (#16870)
Browse files Browse the repository at this point in the history
* chore: Update stale bot settings

* Incorporate feedback
  • Loading branch information
nzakas committed Feb 12, 2023
1 parent 5c2a198 commit 9122f07
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 6 deletions.
8 changes: 5 additions & 3 deletions .github/workflows/stale.yml
Expand Up @@ -21,10 +21,12 @@ jobs:
- uses: actions/stale@v7
with:
repo-token: ${{ secrets.GITHUB_TOKEN }}
days-before-stale: 60
days-before-issue-stale: 30
days-before-pr-stale: 10
days-before-close: 7
stale-issue-message: 'Oops! It looks like we lost track of this issue. What do we want to do here? This issue will auto-close in 7 days without an update.'
stale-pr-message: 'Oops! It looks like we lost track of this pull request. What do we want to do here? This pull request will auto-close in 7 days without an update.'
close-issue-message: 'This issue was auto-closed due to inactivity. While we wish we could keep responding to every issue, we unfortunately don''t have the bandwidth and need to focus on high-value issues.'
stale-pr-message: 'Hi everyone, it looks like we lost track of this pull request. Please review and see what the next steps are. This pull request will auto-close in 7 days without an update.'
close-pr-message: 'This pull request was auto-closed due to inactivity. While we wish we could keep working on every request, we unfortunately don''t have the bandwidth to continue here and need to focus on other things. You can resubmit this pull request if you would like to continue working on it.'
exempt-all-assignees: true
exempt-issue-labels: accepted
exempt-pr-labels: accepted
6 changes: 3 additions & 3 deletions docs/src/maintain/review-pull-requests.md
Expand Up @@ -92,16 +92,16 @@ If the pull request was created from a branch on the `eslint/eslint` repository
There are several times when it's appropriate to close a pull request without merging:

1. The pull request addresses an issue that is already fixed
1. The pull request hasn't been updated in 30 days
1. The pull request hasn't been updated in 17 days
1. The pull request submitter isn't willing to follow project guidelines.

In any of these cases, please be sure to leave a comment stating why the pull request is being closed.

### Example Closing Comments

If a pull request hasn't been updated in 30 days:
If a pull request hasn't been updated in 17 days:

> Closing because there hasn't been activity for 30 days. If you're still interested in submitting this code, please feel free to resubmit.
> Closing because there hasn't been activity for 17 days. If you're still interested in submitting this code, please feel free to resubmit.
If a pull request submitter isn't willing to follow project guidelines.

Expand Down

0 comments on commit 9122f07

Please sign in to comment.