From 34adb997c6d1f41ebc5baa85e58e865da2939791 Mon Sep 17 00:00:00 2001 From: w0rp Date: Thu, 13 Aug 2020 02:37:54 +0100 Subject: [PATCH] Configure the stale bot --- .github/stale.yml | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 .github/stale.yml 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