diff options
| author | w0rp <devw0rp@gmail.com> | 2020-08-13 02:37:54 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2020-08-13 02:37:54 +0100 |
| commit | 34adb997c6d1f41ebc5baa85e58e865da2939791 (patch) | |
| tree | 6de59695617006afb54e16ccabbd9b75fb59b3ad /.github | |
| parent | 64d4c951aeacd34948246b4c391435dea26e56cd (diff) | |
| download | ale-34adb997c6d1f41ebc5baa85e58e865da2939791.zip | |
Configure the stale bot
Diffstat (limited to '.github')
| -rw-r--r-- | .github/stale.yml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/.github/stale.yml b/.github/stale.yml new file mode 100644 index 00000000..e9cda3d9 --- /dev/null +++ b/.github/stale.yml @@ -0,0 +1,16 @@ +--- +# This configuration closes stale PRs after 30 days. +# Issues in ALE are never, ever stale. They are either resolved or not. +only: pulls +daysUntilStale: 28 +daysUntilClose: 2 +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 |