GitHub搜索-如何从搜索结果中排除(逻辑非)公司或用户 [英] GitHub search - how to exclude (logical NOT) company or user from search results
本文介绍了GitHub搜索-如何从搜索结果中排除(逻辑非)公司或用户的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!
问题描述
在此搜索查询中(实时测试↗)我正在搜索:
In this search query (test it live ↗) I'm searching for:
- 所有
pull requests
- 由用户
limonte
(我) - 用于
vaadin
公司
- all
pull requests
- by user
limonte
(me) - for the
vaadin
company
如何搜索
这两个我没有成功尝试的选择:
These two options I tried without success:
-
is:pr author:limonte user:!vaadin
-
is:pr author:limonte user:NOT vaadin
is:pr author:limonte user:!vaadin
is:pr author:limonte user:NOT vaadin
推荐答案
在任何搜索限定词前加上-会排除该限定词匹配的所有结果.
Prefixing any search qualifier with a - excludes all results that are matched by that qualifier.
例如,您可能有兴趣查找所有10个以上非JavaScript编写的猫"存储库:
For example, you might be interested in finding all "cats" repositories with more than 10 stars that are not written in JavaScript:
cats stars:>10 -language:javascript
您可能还希望找到所有不在GitHub组织存储库中的提及@defunkt的问题:
You might also want to find all issues mentioning @defunkt that are not in repositories in the GitHub organization:
mentions:defunkt -user:github
您的问题的答案是:
The answer for your question is:
有关更多信息,请参见 GitHub搜索语法
这篇关于GitHub搜索-如何从搜索结果中排除(逻辑非)公司或用户的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!
查看全文