blob: 8ae5c8b71a9e4554c57fc23302c43e8466e31356 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
name: 'Stale issue handler'
on:
workflow_dispatch:
issue_comment:
schedule:
- cron: '42 04 * * *'
permissions:
issues: write
pull-requests: write
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
stale:
runs-on: ubuntu-latest
steps:
- uses: actions/stale@v9
# See https://github.com/actions/stale#all-options
with:
exempt-all-milestones: true
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. 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. 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
|
