New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Filter box under Tags and Topics on main page should search over all categories (not first 100) #115

Closed
valzav opened this Issue Aug 9, 2016 · 5 comments

Comments

Projects
None yet
5 participants
@valzav
Contributor

valzav commented Aug 9, 2016

No description provided.

@originated

This comment has been minimized.

Contributor

originated commented Aug 24, 2016

Agree. Is this still an open item? I can look at improving the search.

@valzav

This comment has been minimized.

Contributor

valzav commented Aug 24, 2016

yes, still open, would be nice if you could take a look

@valzav valzav closed this Aug 24, 2016

@valzav valzav reopened this Aug 24, 2016

@originated originated self-assigned this Aug 29, 2016

@KrNel

This comment has been minimized.

KrNel commented Nov 20, 2016

Has there been any progress on adding access to all tags for us to view?

@sneak

This comment has been minimized.

Contributor

sneak commented Nov 26, 2016

@KrNel not yet - if there is, you will see it referenced here.

@roadscape

This comment has been minimized.

Contributor

roadscape commented Jul 20, 2017

Will revisit more powerful tag search later.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment