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.

Sign up for GitHub

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

Jump to bottom

Add filters to the People Ranking #263

Open
roblesjoel opened this issue Sep 4, 2023 · 2 comments
Open

Add filters to the People Ranking #263

roblesjoel opened this issue Sep 4, 2023 · 2 comments
Assignees
@roblesjoel
Labels
enhancement New feature or request

Comments

@roblesjoel
Copy link
Contributor

Add a multiple selection mode menu on the people page (see red box on screenshot) with the following filter options for the search of people:
All fields [default option]
Name and GitHub user
Company
Location
Institution
Organization
Repository

image
@roblesjoel roblesjoel added the enhancement New feature or request label Sep 4, 2023
@roblesjoel
Copy link
Contributor Author

Own Opinion:
That would be a bad Idea, there are many users that don't have a location, or company.
Also filtering for repositories would be pretty bad as there are more than 10'000 repositories to choose from.

@maemst
Copy link
Member

maemst commented Sep 19, 2023

I see your point, it's not perfect. But it would help a lot as a first step to analyze the data. Therefore, please implement it.

@maemst maemst changed the title Add filter to the People Ranking Add filters to the People Ranking Sep 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@roblesjoel roblesjoel

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@maemst @roblesjoel