1name: "Close Stale Issues"
2on:
3 schedule:
4 - cron: "0 2 * * 5"
5 workflow_dispatch:
6 inputs:
7 debug-only:
8 description: "Run in dry-run mode (no changes made)"
9 type: boolean
10 default: false
11 operations-per-run:
12 description: "Max number of issues to process (default: 1000)"
13 type: number
14 default: 1000
15
16jobs:
17 stale:
18 if: github.repository_owner == 'zed-industries'
19 runs-on: ubuntu-latest
20 steps:
21 - uses: actions/stale@997185467fa4f803885201cee163a9f38240193d # v10
22 with:
23 repo-token: ${{ secrets.GITHUB_TOKEN }}
24 stale-issue-message: >
25 Hi there!
26 Zed development moves fast and a significant number of bugs become outdated.
27 If you can reproduce this bug on the latest stable Zed, please let us know by leaving a comment with the Zed version.
28 If the bug doesn't appear for you anymore, feel free to close the issue yourself; otherwise, the bot will close it in a couple of weeks.
29
30 Thanks for your help!
31 close-issue-message: "This issue was closed due to inactivity. If you're still experiencing this problem, please leave a comment with your Zed version so that we can reopen the issue."
32 days-before-stale: 60
33 days-before-close: 14
34 only-issue-types: "Bug,Crash"
35 operations-per-run: ${{ inputs.operations-per-run || 1000 }}
36 ascending: true
37 enable-statistics: true
38 debug-only: ${{ inputs.debug-only }}
39 stale-issue-label: "stale"
40 exempt-issue-labels: "never stale"