GitHub имеет поисковую систему , основанную на эластичном поиске, которая имеет много продвинутых функций, таких как поиск по хранилищам или пользователям. Используя Google, я могу искать альтернативы в GitHub . Однако синтаксис поиска в GitHub охватывает только оператор отрицания .
Как использовать другие логические операторы в поиске GitHub?
Может быть, есть функция в эластичном поиске, которую можно использовать для фильтрации или объединения булевых запросов?
Ответы:
GitHub встроенный в поисковых Охватывает
and
,not
иor
операторы, а также различных других сравнений. Общие рекомендации GitHub по поиску находятся здесь: https://help.github.com/articles/searching-github/Синтаксис его поиска описан здесь: https://help.github.com/articles/search-syntax/
источник
AND
,NOT
иOR
работа теперь. Спасибо за Ваш ответ!AND
илиOR
, и они не работают для меня.Поиск по умолчанию работает так, как будто между каждой парой ключ-значение поиска есть подразумеваемый оператор AND:
Если вы задаете более одной пары ключ-значение для ключа, он использует последнюю и подавляет более ранние в запросе при представлении результатов.
Расширенный поиск работает так, как будто между каждой парой ключ-значение поиска есть подразумеваемый оператор ИЛИ:
Нет никакого способа объединить найденные мной операторы AND и OR. Так что я не думаю, что можно найти открытые PR от любого из нескольких авторов для одного репо.
Оператор NOT может использоваться для исключения строк: https://help.github.com/articles/understanding-the-search-syntax/
источник
repo: