mirror of
https://github.com/zed-industries/zed.git
synced 2025-02-11 21:00:35 +00:00
1b88734c6c
We used to wait 6 months to close stale issues. Jono suggested 1 month. I'm sort of splitting the difference and adding a bit of buffer. We can adjust again later on, if we want. Release Notes: - N/A
28 lines
1.2 KiB
YAML
28 lines
1.2 KiB
YAML
name: "Close Stale Issues"
|
|
on:
|
|
schedule:
|
|
- cron: "0 11 * * 2"
|
|
workflow_dispatch:
|
|
|
|
jobs:
|
|
stale:
|
|
if: github.repository_owner == 'zed-industries'
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/stale@5bef64f19d7facfb25b37b414482c7164d639639 # v9
|
|
with:
|
|
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
|
stale-issue-message: >
|
|
Hi there! 👋
|
|
|
|
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.
|
|
|
|
Thanks for your help!
|
|
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."
|
|
days-before-stale: 120
|
|
days-before-close: 7
|
|
any-of-issue-labels: "bug,panic / crash"
|
|
operations-per-run: 1000
|
|
ascending: true
|
|
enable-statistics: true
|
|
stale-issue-label: "stale"
|