diff options
author | Derek Bailey <derekbailey@google.com> | 2020-06-15 13:39:46 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-15 13:39:46 -0700 |
commit | 9ab4a5c0e29e3b574c3b0f4f0fcc80ff1e698194 (patch) | |
tree | 81b5e5e60c5bd1c53b90893dc64be80d8b2af810 /.github | |
parent | 6682cfe870af7efcaaee22d58fdbdc202b3a13c7 (diff) | |
download | flatbuffers-9ab4a5c0e29e3b574c3b0f4f0fcc80ff1e698194.tar.gz flatbuffers-9ab4a5c0e29e3b574c3b0f4f0fcc80ff1e698194.tar.bz2 flatbuffers-9ab4a5c0e29e3b574c3b0f4f0fcc80ff1e698194.zip |
Deleted old stale bot
The new stale action replaces the function of this bot, so removing the old one.
It also prevents the two bots from battling each other :)
Diffstat (limited to '.github')
-rw-r--r-- | .github/stale.yml | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/.github/stale.yml b/.github/stale.yml deleted file mode 100644 index 84ff87b5..00000000 --- a/.github/stale.yml +++ /dev/null @@ -1,18 +0,0 @@ -# Number of days of inactivity before an issue becomes stale -daysUntilStale: 365 -# 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 - activity for 1 year. It will be automatically closed if no further activity occurs. - To keep it open, simply post a new comment. Maintainers will re-open on - new activity. Thank you for your contributions. -# Comment to post when closing a stale issue. Set to `false` to disable -closeComment: false |