Jinjing 4e5c3ac27c Remove deleted repos from GitHub views ...

Implements the filtering behavior described in docs/remove-repo-github-views.md so removed repositories are excluded from GitHub task and project views.

2026-05-17 15:21:45 -07:00

..

assets

Fix Windows agent hook Unicode prompts (#2100)

2026-05-16 13:32:23 -07:00

readme

chore: ignore ephemeral docs (#2004)

2026-05-15 18:09:21 -07:00

reference

chore: ignore ephemeral docs (#2004)

2026-05-15 18:09:21 -07:00

configurable-open-in-menu.md

Add configurable Open In applications (#2110)

2026-05-16 15:34:40 -07:00

remove-repo-github-views.md

Remove deleted repos from GitHub views

2026-05-17 15:21:45 -07:00

STYLEGUIDE.md

feat(file-explorer): show gitignored files with dimmed italic decoration (#1941)

2026-05-15 18:58:08 -07:00

worktree-delete-preflight.md

fix(worktree): preflight delete before terminal teardown (#2103)

2026-05-16 13:52:59 -07:00