2020-08-13 01:37:54 +00:00
|
|
|
---
|
2020-08-17 09:20:41 +00:00
|
|
|
# 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.
|
2020-08-13 01:37:54 +00:00
|
|
|
# Issues in ALE are never, ever stale. They are either resolved or not.
|
|
|
|
|
only: pulls
|
|
|
|
|
daysUntilStale: 28
|
2020-08-17 09:20:41 +00:00
|
|
|
daysUntilClose: 7
|
2020-08-13 01:37:54 +00:00
|
|
|
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
|
