Filterprobleme ohne bestimmten Tag auf GitHub

13

Bietet die aktuelle GitHub-Ausgabesuchmaschine Benutzern die Möglichkeit, nach Berichten ohne bestimmte Tags zu suchen?

Ein klassischer Anwendungsfall wäre eine granulare Gruppierung wie [Bug], [Enhancement], [Feature] usw. Ich möchte nach allen Elementen ohne das [Bug] -Tag suchen.

search github

— Mikulas Dite
quelle

4

Ich würde mich freuen, wenn ich das Gegenteil beweisen und meine Antwort löschen würde ... aber ich denke, im Moment lautet die Antwort nein . Nicht einmal die API für Github-Probleme scheint dies zuzulassen.

In Ihrem Beispiel ist es am besten, nach allen Labels außer [bug] zu suchen . oder erstelle ein neues Label "non-bug". :)

Sie können sich natürlich mit github in Verbindung setzen und diese "Filter-out" -Funktion in ihre Vorschlagsbox einfügen .

— Dave Clausen
quelle

15

Sie können Suchergebnisse auf GitHub mit einem Minuszeichen ausschließen. Um nach allen Problemen zu suchen, die nicht als Fehler gekennzeichnet sind, können Sie Folgendes in eine Suche einbauen:

type:issue -label:bug

Quelle .

— lukens
quelle

Das ist ganz nett, bietet aber nicht die gleiche Ansicht wie das direkte Filtern nach Labels.

— Mikulas Dite

Dies ist wahr, ich habe festgestellt, dass es auch nicht funktioniert, type:issue -label:bug -label:enhancementwenn mehrere Labels ausgeschlossen werden. Daher: Gibt nicht die erwarteten Ergebnisse zurück.

— Lukens