Skip to content

add search box in the dropdown - #143

Merged
gsvprharsha merged 1 commit into
tempestai-dev:mainfrom
AniketR10:fix/all-repos-search
Oct 15, 2026
Merged

gsvprharsha merged 1 commit into
tempestai-dev:mainfrom
AniketR10:fix/all-repos-search

Conversation

@AniketR10

Copy link
Copy Markdown
Collaborator

fixes #135
image

@vercel

vercel Bot commented Oct 15, 2026

Copy link
Copy Markdown

@AniketR10 is attempting to deploy a commit to the Tempest OSS Team on Vercel.

A member of the Team first needs to authorize it.

@gsvprharsha
gsvprharsha merged commit 9c5e4ee into tempestai-dev:main Oct 15, 2026
5 of 6 checks passed
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.

[Bug]: My Tasks 'All repos' dropdown has no search and hides non-personal repos

2 participants