diff options
| author | w0rp <devw0rp@gmail.com> | 2020-08-17 10:20:41 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2020-08-17 10:20:41 +0100 |
| commit | cfda549056c4b85fba9e2f10ecb502c8a18d6011 (patch) | |
| tree | add5cf27d6d79fb4ebc5b06b2c3930b8dcbd7935 /.github | |
| parent | d5c1d842307a4c916905d5160544cfe152a16ee0 (diff) | |
| download | ale-cfda549056c4b85fba9e2f10ecb502c8a18d6011.zip | |
Tell stale bot to wait longer before closing PRs
Diffstat (limited to '.github')
| -rw-r--r-- | .github/stale.yml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.github/stale.yml b/.github/stale.yml index e9cda3d9..3a5a354b 100644 --- a/.github/stale.yml +++ b/.github/stale.yml @@ -1,9 +1,10 @@ --- -# This configuration closes stale PRs after 30 days. +# This configuration closes stale PRs after 28 + 7 days. +# That's 4 weeks until stale bot complains, and a week until it closes a PR. # Issues in ALE are never, ever stale. They are either resolved or not. only: pulls daysUntilStale: 28 -daysUntilClose: 2 +daysUntilClose: 7 exemptLabels: [] staleLabel: stale markComment: > |