Skip to content

Add search and owner filtering to repos table#23

Merged
vladkens merged 3 commits intovladkens:mainfrom
larsborn:main
Apr 1, 2026
Merged

Add search and owner filtering to repos table#23
vladkens merged 3 commits intovladkens:mainfrom
larsborn:main

Conversation

@larsborn
Copy link
Copy Markdown
Contributor

@larsborn larsborn commented Mar 28, 2026

Adds filtering controls above the repos table on the home page:

  • Text search input (case-insensitive substring match on repo name, 300ms debounce via HTMX)
  • Owner/org dropdown (filters by owner/ prefix, only shown when more than one owner exist)

Both filters compose with each other and preserve the current sort column/direction across interactions using hidden inputs with HTMX out-of-band swaps. The REST API also accepts the new q and owner query parameters.

image

Closes #22

@vladkens
Copy link
Copy Markdown
Owner

vladkens commented Apr 1, 2026

Thanks for the contribution. I'm going to merge this PR, and I'll follow up shortly with a new release that includes it.

@vladkens vladkens merged commit 795860d into vladkens:main Apr 1, 2026
@larsborn
Copy link
Copy Markdown
Contributor Author

larsborn commented Apr 1, 2026

Thanks a ton for the quick response and release!

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.

Way to filter out repositories from different github organizations

2 participants