diff --git a/script/update_top_ranking_issues/main.py b/script/update_top_ranking_issues/main.py index bad453e1281eae59c459d3a88ca9e755a4fc5d11..6d0f8a93e043a0f7e2c9577b330f6ea8f5b4a754 100644 --- a/script/update_top_ranking_issues/main.py +++ b/script/update_top_ranking_issues/main.py @@ -20,8 +20,9 @@ CORE_LABELS: set[str] = set( "design", "documentation", "enhancement", + "linux", "panic / crash", - "platform support", + "windows" ] ) # A set of labels for adding in labels that we want present in the final