How do I filter search results for PRs with deleted head respositories? #23714
-
I am trying to filter search results for PRs with deleted head repositories such that it says “unknown repository” in the PR: There doesn’t seem to be any information on this in the documentation: docs.github.comSearching issues and pull requests - GitHub Docs |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment
-
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.comShare feedback - GitHub SupportHowever, 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 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. |
Beta Was this translation helpful? Give feedback.
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.