mirror of
https://github.com/zed-industries/zed.git
synced 2026-08-04 13:24:41 +00:00
9677f83f87
GitHub issue search can't express the one filter we want here: "created at least one business day ago." That's the whole reason the project board #\87 exists — since we can't save it as a search, we keep a project's membership in sync to stand in for it. So: an hourly workflow runs script/github-triage-queue-board.py, which adds the open issues that fall in the eligibility window to project #\87 and removes the ones that have aged out. Also wires the workflow into the community automation failure Slack alert, so if it breaks we hear about it. Release Notes: - N/A |
||
|---|---|---|
| .. | ||
| actions | ||
| DISCUSSION_TEMPLATE | ||
| ISSUE_TEMPLATE | ||
| workflows | ||
| actionlint.yml | ||
| CODEOWNERS.hold | ||
| FUNDING.yml | ||
| pull_request_template.md | ||
| zizmor.yml | ||