Comment filtrer des dépôts spécifiques lors du filtrage des requêtes pull Github

Question

I admin quelques organisations Github et 1 en particulier a 119 repos - Parmi les 119 repos, il y en a 4 qui ne m'intéressent pas quand il s'agit de demandes pull open.

J'essaie de comprendre comment je peux utiliser le filtre de demande de traction afin qu'ils ne soient pas montrés.
Mon filtre actuel pour afficher toutes les demandes d'extraction ouvertes est: est: open est: pr utilisateur: sort: créé Et je peux modifier pour montrer un dépôt particulier ou repos: est: ouvert est: pr repo:/repo :/sort: created

Est-ce que quelqu'un sait comment je peux filtrer pour afficher tous les repos, sauf ceux qui ne m'intéresse pas?

Answer 1

Vous pouvez utiliser - exclure des sous-ensembles:

org:Google is:open repo:is:pr -repo:google/ggrc-core -repo:google/protobuf 

Vérifier: https://help.github.com/articles/search-syntax/#filter-qualifiers-based-on-exclusion