diff options
author | Daniel Stenberg <daniel@haxx.se> | 2017-04-07 11:43:06 +0200 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2017-04-09 00:08:51 +0200 |
commit | ced57e9a9536ee2fe06c700c5274298f3ceaf33d (patch) | |
tree | 5fc9e060e66626112d778246a36f0857ffea4760 /.github | |
parent | fa66403280acf4a7df99e676c95c3c3c7e283135 (diff) | |
download | curl-ced57e9a9536ee2fe06c700c5274298f3ceaf33d.tar.gz |
.github/stale.yml: enable the stale bot
Issues and PRs with no activity for 180 days will get marked as stale,
and if no further activity happens within 14 more days, the issue gets
closed.
This follows our established policy of not letting stalled bugs "get in
the way": https://curl.haxx.se/docs/bugs.html#Closing_off_stalled_bugs
Closes #1398
Diffstat (limited to '.github')
-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 000000000..9bcd4eb1d --- /dev/null +++ b/.github/stale.yml @@ -0,0 +1,17 @@ +# Number of days of inactivity before an issue becomes stale +daysUntilStale: 180 +# Number of days of inactivity before a stale issue is closed +daysUntilClose: 14 +# Issues with these labels will never be considered stale +exemptLabels: + - pinned + - security +# Label to use when marking an issue as stale +staleLabel: stale +# Comment to post when marking an issue as stale. Set to `false` to disable +markComment: > + This issue has been automatically marked as stale because it has not had + recent activity. It will be closed if no further activity occurs. Thank you + for your contributions. +# Comment to post when closing a stale issue. Set to `false` to disable +closeComment: false |