|
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