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

Allow to subscribe with advanced filters #181

Open
mantzas opened this issue Sep 30, 2022 · 6 comments
Open

Allow to subscribe with advanced filters #181

mantzas opened this issue Sep 30, 2022 · 6 comments

Comments

@mantzas
Copy link

mantzas commented Sep 30, 2022

Is your feature request related to a problem? Please describe.

It would be nice to be able to list all PR in the subscribed section based on the following filter:

  • org in order to point to a specific or
  • topic in order to filter the repos inside the org based on topics

The filter should ideally work also on private repos.

Currently in order to achieve this I need to maintain the repos by hand (add/update/remove).

Describe the solution you'd like

Allow filters to target org and topic.

Describe alternatives you've considered

We could also introduce a wildcard e.g. dlvdhr/*

Additional context
None

@dlvhdr
Copy link
Owner

dlvhdr commented Sep 30, 2022

You can put the org:dlvhdr term in the query to get all the PRs under the dlvhdr org.

What do you mean by topic? I'm not familiar with this

@mantzas
Copy link
Author

mantzas commented Sep 30, 2022

Nice, the only problem that I have now is that the org is really big and the PRs are countless.
If I could filter on top of that with a topic e.g. topic:oss it would be great.
WDYT?

@dlvhdr
Copy link
Owner

dlvhdr commented Oct 8, 2022

I think you mean labels. You can add them to the query with label:bug for example.
If you do mean topics, you can only search repos by them. See https://docs.github.com/en/search-github/searching-on-github/searching-for-repositories#search-by-topic
Let me know if that helps.

@mantzas
Copy link
Author

mantzas commented Oct 9, 2022

I actually meant topics in order to be a repo-selector. Tags are more like a issue selector.
The goal is to be able to identify specific repos inside an org in order to subscribe to all of them.
The alternative is to add the repos one by one by hand which is not really maintainable if you have 30 of them.

@dlvhdr
Copy link
Owner

dlvhdr commented Oct 9, 2022

Oh yeah I see what you mean... Well github doesn't support that yet.
Just one last clarification: do you mean to see the PRs & issues of those repos or see the actual list of repos?
For the first one, maybe I can fetch all the repos with a certain topic and then fetch all of their corresponding PRs with a huge query :)

@mantzas
Copy link
Author

mantzas commented Oct 9, 2022

Exactly what you say about getting the PRs and issues of those repo. And yes this might become very big and not easily processable by humans.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants