Skip to content

feat(desktop): filter box for the repos list + clearer URL examples#165

Merged
oratis merged 1 commit into
mainfrom
ux/github-repos-filter
Jun 14, 2026
Merged

feat(desktop): filter box for the repos list + clearer URL examples#165
oratis merged 1 commit into
mainfrom
ux/github-repos-filter

Conversation

@oratis

@oratis oratis commented Jun 14, 2026

Copy link
Copy Markdown
Owner

Small polish from the GitHub-vault review backlog.

  • Repos filter: with many repos, "Your repositories" was a long unfiltered scroll. A filter box appears once the list exceeds 6 entries and narrows by full name as you type (with a "No matching repositories" empty state).
  • URL placeholder: widened to show the accepted forms — owner/repo · github.com/owner/repo · …/blob/main/README.md.

tsc ✓ · vitest (3) ✓ · biome ✓ · build ✓.

🤖 Generated with Claude Code

With many repos the "Your repositories" list was a long unfiltered scroll. A
filter box now appears once the list exceeds 6 entries and narrows it by full
name as you type (with a "No matching repositories" state). Also widened the URL
field's placeholder to show the accepted forms (owner/repo · github.com/owner/repo
· …/blob/main/README.md).

tsc ✓ · vitest (3) ✓ · biome ✓ · build ✓.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@oratis oratis merged commit 1cbb94c into main Jun 14, 2026
4 checks passed
@oratis oratis deleted the ux/github-repos-filter branch June 14, 2026 06:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant