diff options
Diffstat (limited to '.github/stale.yml')
| -rw-r--r-- | .github/stale.yml | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/.github/stale.yml b/.github/stale.yml new file mode 100644 index 00000000..3a5a354b --- /dev/null +++ b/.github/stale.yml @@ -0,0 +1,17 @@ +--- +# 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: 7 +exemptLabels: [] +staleLabel: stale +markComment: > + This pull request has been automatically marked as stale because it has not + been updated recently. Make sure to write tests and document your changes. + See `:help ale-dev` for information on writing tests. + + If your pull request is good to merge, bother w0rp or another maintainer + again, and get them to merge it. +closeComment: false |