Add support for keyword:cli and category:no-std search filters
#4382
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Turbo87
added
A-frontend 🐹
C-enhancement ✨
Turbo87
force-pushed
the
enhanced-search
branch
3 times, most recently
from
81e71df to
ba55528
Compare
|
we have discussed this PR in the weekly team meeting today and there were no objections on the general functionality. one thing left to do is remove support for the |
Turbo87
force-pushed
the
enhanced-search
branch
2 times, most recently
from
32fca71 to
57a81fc
Compare
|
There should probably be a warning if someone adds multiple categories, other than that r=me. |
Turbo87
force-pushed
the
enhanced-search
branch
2 times, most recently
from
fe5c311 to
9c43a10
Compare
as discussed in the team meeting
Turbo87
force-pushed
the
enhanced-search
branch
from
9c43a10 to
2144fca
Compare
✅ done @bors r=pietroalbini |
|
📌 Commit 2144fca has been approved by |
|
☀️ Test successful - checks-actions |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Resolves #491
These filters can be used standalone, or combined with regular search terms. The syntax is inspired by https://api-docs.npms.io