Skip to content

How do I filter search results for PRs with deleted head respositories? #23714

Discussion options

You must be logged in to vote

Hey @aaronfranke so for the filter of search results, what you’re asking for isn’t quite possible. It would be amazing if you could submit your idea through our feedback form:

support.github.com

Share feedback - GitHub Support

However, I’m wondering if you can’t accomplish what you’re trying to do by adjusting your search itself, rather than filtering the results you get?

Using something even as basic as is:pr "unknown repository" (along with other qualifiers) might be a decent start, maybe?

Let me know what you think, and if that doesn’t get you on the right path. Would be curious to know if I’m misunderstanding your intent.

Replies: 1 comment

Comment options

You must be logged in to vote
0 replies
Answer selected
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
2 participants