diff options
author | John Bauer <horatio@gmail.com> | 2021-01-12 08:10:37 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-12 08:10:37 +0300 |
commit | c3bdedc0d049be438748cdd19f312c9a66134bbf (patch) | |
tree | 288748ac6eede9baff2664767a9f10127a5c2236 /.github | |
parent | 961c8c06e84e2ac58664c698d61861867827273d (diff) | |
parent | cafb7d5004842cd3c8a3ac334ce7649bac928830 (diff) |
Merge pull request #589 from stanfordnlp/master
Merge back from master to dev
Diffstat (limited to '.github')
-rw-r--r-- | .github/stale.yml | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/.github/stale.yml b/.github/stale.yml new file mode 100644 index 00000000..7248100c --- /dev/null +++ b/.github/stale.yml @@ -0,0 +1,21 @@ +# Number of days of inactivity before an issue becomes stale +daysUntilStale: 60 +# Number of days of inactivity before a stale issue is closed +daysUntilClose: 7 +# Issues with these labels will never be considered stale +exemptLabels: + - pinned + - security + - fixed on dev + - bug + - enhancement +# 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: > + This issue has been automatically closed due to inactivity. |