Skip to content
This repository has been archived by the owner on Sep 10, 2022. It is now read-only.

Add filters for plugins #76

Merged
merged 1 commit into from
Jul 20, 2020
Merged

Add filters for plugins #76

merged 1 commit into from
Jul 20, 2020

Conversation

sladyn98
Copy link
Contributor

This adds filters for the plugins. For now we just have 4 basic filters.
a) Title
b) Most Installed
c) relevance
d) Trending

@sladyn98 sladyn98 added the frontend Related to the front-end of the service label Jul 15, 2020
@sladyn98 sladyn98 requested a review from a team as a code owner July 15, 2020 09:31
Copy link
Member

@oleg-nenashev oleg-nenashev left a comment

Choose a reason for hiding this comment

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

I have not tested it, looks good from what I see in the code

@sladyn98 sladyn98 merged commit c56375d into jenkinsci:master Jul 20, 2020
sladyn98 pushed a commit to sladyn98/custom-distribution-service that referenced this pull request Jul 22, 2020
@sladyn98 sladyn98 added the feature A PR that adds a feature label Aug 25, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
feature A PR that adds a feature frontend Related to the front-end of the service
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants