summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorDave Henderson <dhenderson@gmail.com>2023-06-25 21:50:55 -0400
committerDave Henderson <dhenderson@gmail.com>2023-06-25 21:50:55 -0400
commit249756bd2bb170dfb523aa5343a6c504a6014f65 (patch)
tree23b1df1b89c56c09c1258870fa5bc9b5f0fc465e /.github/workflows
parent4a114f21ae710480a72552b2d85ee8b4b7ee5ac3 (diff)
Updates to stale workflow
Signed-off-by: Dave Henderson <dhenderson@gmail.com>
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/stale.yml27
1 files changed, 24 insertions, 3 deletions
diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml
index 0b09d22b..c02df873 100644
--- a/.github/workflows/stale.yml
+++ b/.github/workflows/stale.yml
@@ -1,8 +1,9 @@
name: 'Stale issue handler'
on:
workflow_dispatch:
+ issue_comment:
schedule:
- - cron: '42 04 * * 1'
+ - cron: '42 04 * * *'
permissions:
issues: write
@@ -19,6 +20,26 @@ jobs:
days-before-stale: 60
days-before-close: 14
stale-issue-message: |
- This issue is stale because it has been open for 60 days with no activity. Remove `stale` label or comment or this will be automatically closed in a few days.
+ This issue is stale because it has been open for 60 days with no
+ activity. If it is no longer relevant or necessary, please close it.
+ Given no action, it will be closed in 14 days.
+
+ If it's still relevant, one of the following will remove the stale
+ marking:
+ - A maintainer can add this issue to a milestone to indicate that
+ it's been accepted and will be worked on
+ - A maintainer can remove the `stale` label
+ - Anyone can post an update or other comment
stale-pr-message: |
- This pull request is stale because it has been open for 60 days with no activity. Remove `stale` label or comment or this will be automatically closed in a few days.
+ This pull request is stale because it has been open for 60 days with
+ no activity. If it is no longer relevant or necessary, please close
+ it. Given no action, it will be closed in 14 days.
+
+ If it's still relevant, one of the following will remove the stale
+ marking:
+ - A maintainer can add this pull request to a milestone to indicate
+ that it's been accepted and will be worked on
+ - A maintainer can remove the `stale` label
+ - Anyone can post an update or other comment
+ - Anyone with write access can push a commit to the pull request
+ branch