1name: "Close Stale Issues"
 2on:
 3  schedule:
 4    - cron: "0 11 * * 2"
 5  workflow_dispatch:
 6
 7jobs:
 8  stale:
 9    if: github.repository_owner == 'zed-industries'
10    runs-on: ubuntu-latest
11    steps:
12      - uses: actions/stale@28ca1036281a5e5922ead5184a1bbf96e5fc984e # v9
13        with:
14          repo-token: ${{ secrets.GITHUB_TOKEN }}
15          stale-issue-message: >
16            Hi there! 👋
17
18            We're working to clean up our issue tracker by closing older issues that might not be relevant anymore. If you are able to reproduce this issue in the latest version of Zed, please let us know by commenting on this issue, and we will keep it open. If you can't reproduce it, feel free to close the issue yourself. Otherwise, we'll close it in 7 days.
19
20            Thanks for your help!
21          close-issue-message: "This issue was closed due to inactivity. If you're still experiencing this problem, please open a new issue with a link to this issue."
22          # We will increase `days-before-stale` to 365 on or after Jan 24th,
23          # 2024. This date marks one year since migrating issues from
24          # 'community' to 'zed' repository. The migration added activity to all
25          # issues, preventing 365 days from working until then.
26          days-before-stale: 180
27          days-before-close: 7
28          any-of-issue-labels: "bug,panic / crash"
29          operations-per-run: 1000
30          ascending: true
31          enable-statistics: true
32          stale-issue-label: "stale"