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

[Feature request] Add stars to index file #43

Closed
smacker opened this issue Apr 3, 2018 · 2 comments
Closed

[Feature request] Add stars to index file #43

smacker opened this issue Apr 3, 2018 · 2 comments
Assignees
Labels
enhancement New feature or request

Comments

@smacker
Copy link

smacker commented Apr 3, 2018

It would be super useful for experiments to be able to grep and download only repositories with more than N stars.

@vmarkovtsev
Copy link
Collaborator

Workaround:

multitool discover
multitool select

Those are for creating the dataset; effectively, produce the list of repo names filtered by several criteria.

@bzz
Copy link
Contributor

bzz commented Apr 6, 2018

Got the same feedback from the workshop participants who were exposed to PGA for the first time - people want to be able to order/filter by starts before downloading anything.

It would be nice to do that, without excessive use of network traffic, that I assume the proposed workaround would result in.

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
None yet
Development

No branches or pull requests

5 participants