GitHub a un système de recherche , construit sur une recherche élastique qui a beaucoup de fonctionnalités avancées comme la recherche de référentiels ou d'utilisateurs. En utilisant Google, je peux rechercher des alternatives dans GitHub . La syntaxe de recherche de GitHub ne couvre cependant que l'opérateur de négation .
Comment utiliser d'autres opérateurs logiques dans la recherche de GitHub?
Existe-t-il une fonctionnalité dans la recherche élastique qui peut être exploitée pour filtrer ou combiner des requêtes booléennes?
La recherche intégrée de GitHub couvre les opérateurs and
, not
et or
, ainsi que diverses autres comparaisons. Les instructions générales de GitHub concernant la recherche se trouvent ici: https://help.github.com/articles/searching-github/
Avec sa syntaxe de recherche décrite ici: https://help.github.com/articles/search-syntax/
La recherche par défaut fonctionne comme s'il y avait un opérateur AND implicite entre chaque paire clé-valeur de recherche:
is:pr is:open author:monishdeb
Si vous spécifiez plus d'une paire clé-valeur pour une clé, elle utilise la dernière et supprime les paires précédentes de la requête lorsque les résultats sont présentés.
La recherche avancée fonctionne comme s'il y avait un opérateur implicite OR entre chaque paire clé-valeur de recherche:
author:monishdeb author:pradpnayak repo:civicrm/civicrm-core
Il n’existe aucun moyen de combiner les opérateurs AND et OR que j’ai trouvés. Par conséquent, je ne pense pas qu'il soit possible de trouver des relations publiques ouvertes auprès de plusieurs auteurs pour un même dépôt.
L'opérateur NOT peut être utilisé pour exclure des chaînes: https://help.github.com/articles/understanding-the-search-syntax/