Skip to content
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

Search by tags #259

Merged
merged 3 commits into from May 27, 2020
Merged

Search by tags #259

merged 3 commits into from May 27, 2020

Conversation

bastienmoulia
Copy link
Contributor

Fix #193

Use tags as aliases for the search.

Copy link

@RubenVerg RubenVerg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:)

@XhmikosR XhmikosR added the enhancement New feature or request label May 26, 2020
Copy link
Member

@XhmikosR XhmikosR left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks!

@XhmikosR
Copy link
Member

@mdo WDYT? BTW we really need to find another way to load the icons. The homepage keeps getting pretty huge.

@mdo mdo added this to To do in v1.0.0-alpha5 via automation May 26, 2020
@mdo mdo merged commit 7fac0cd into twbs:master May 27, 2020
v1.0.0-alpha5 automation moved this from To do to Done May 27, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
No open projects
v1.0.0-alpha5
  
Done
Development

Successfully merging this pull request may close these issues.

Add aliases to ease search by finding synonyms
4 participants