|
1 | 1 | ---
|
2 |
| - name: 'Stale issues and PRs handler' |
3 |
| - on: |
4 |
| - workflow_dispatch: |
5 |
| - schedule: |
6 |
| - - cron: '0 0 * * *' |
7 |
| - |
8 |
| - permissions: read-all |
9 |
| - |
10 |
| - jobs: |
11 |
| - stale: |
12 |
| - runs-on: ubuntu-latest |
13 |
| - permissions: |
14 |
| - issues: write |
15 |
| - pull-requests: write |
16 |
| - steps: |
17 |
| - - uses: GitHubSecurityLab/actions-permissions/monitor@v1 |
18 |
| - - uses: mongodb-js/devtools-shared/actions/setup-bot-token@main |
19 |
| - id: app-token |
20 |
| - with: |
21 |
| - app-id: ${{ vars.DEVTOOLS_BOT_APP_ID }} |
22 |
| - private-key: ${{ secrets.DEVTOOLS_BOT_PRIVATE_KEY }} |
23 |
| - - uses: actions/stale@v9 |
24 |
| - id: stale |
25 |
| - with: |
26 |
| - repo-token: ${{ secrets.GITHUB_TOKEN }} |
27 |
| - stale-issue-message: | |
28 |
| - This issue has gone 30 days without any activity and meets the project's definition of "stale". This will be auto-closed if there is no new activity over the next 30 days. If the issue is still relevant and active, you can simply comment with a "bump" to keep it open, or add the label "not_stale". Thanks for keeping our repository healthy! |
29 |
| - stale-pr-message: | |
30 |
| - This PR has gone 30 days without any activity and meets the project's definition of "stale". This will be auto-closed if there is no new activity over the next 30 days. If the issue is still relevant and active, you can simply comment with a "bump" to keep it open, or add the label "not_stale". Thanks for keeping our repository healthy! |
31 |
| - stale-issue-label: 'no-issue-activity' |
32 |
| - stale-pr-label: 'no-pr-activity' |
33 |
| - days-before-stale: 30 |
34 |
| - days-before-close: 30 |
35 |
| - exempt-all-milestones: true |
36 |
| - exempt-issue-labels: 'not_stale' |
37 |
| - exempt-pr-labels: 'not_stale' |
| 2 | +name: "Stale issues and PRs handler" |
| 3 | +on: |
| 4 | + workflow_dispatch: |
| 5 | + schedule: |
| 6 | + - cron: "0 0 * * *" |
| 7 | + |
| 8 | +permissions: read-all |
| 9 | + |
| 10 | +jobs: |
| 11 | + stale: |
| 12 | + runs-on: ubuntu-latest |
| 13 | + permissions: |
| 14 | + issues: write |
| 15 | + pull-requests: write |
| 16 | + steps: |
| 17 | + - uses: GitHubSecurityLab/actions-permissions/monitor@v1 |
| 18 | + - uses: mongodb-js/devtools-shared/actions/setup-bot-token@main |
| 19 | + id: app-token |
| 20 | + with: |
| 21 | + app-id: ${{ vars.DEVTOOLS_BOT_APP_ID }} |
| 22 | + private-key: ${{ secrets.DEVTOOLS_BOT_PRIVATE_KEY }} |
| 23 | + - uses: actions/stale@v9 |
| 24 | + id: stale |
| 25 | + with: |
| 26 | + repo-token: ${{ secrets.GITHUB_TOKEN }} |
| 27 | + stale-issue-message: | |
| 28 | + This issue has gone 30 days without any activity and meets the project's definition of "stale". This will be auto-closed if there is no new activity over the next 30 days. If the issue is still relevant and active, you can simply comment with a "bump" to keep it open, or add the label "not_stale". Thanks for keeping our repository healthy! |
| 29 | + stale-pr-message: | |
| 30 | + This PR has gone 30 days without any activity and meets the project's definition of "stale". This will be auto-closed if there is no new activity over the next 30 days. If the issue is still relevant and active, you can simply comment with a "bump" to keep it open, or add the label "not_stale". Thanks for keeping our repository healthy! |
| 31 | + stale-issue-label: "no-issue-activity" |
| 32 | + stale-pr-label: "no-pr-activity" |
| 33 | + days-before-stale: 30 |
| 34 | + days-before-close: 30 |
| 35 | + exempt-all-milestones: true |
| 36 | + exempt-issue-labels: "not_stale" |
| 37 | + exempt-pr-labels: "not_stale" |
0 commit comments