mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-05 18:25:57 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 12

Update Top-Ranking Issues script to include Windows/Linux

Browse source
This commit is contained in:
Joseph T. Lyons 2024-03-29 13:42:40 -04:00
parent cff9ad19f8
commit 400540772c
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
script/update_top_ranking_issues/main.py
View file

@ -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