mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-06 02:37:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

Remove meta label

Browse source 
This label has been deleted. Now, the only label used for ignoring top-ranking issues is `ignore top-ranking issues`.
This commit is contained in:
Joseph T Lyons 2024-06-05 13:29:34 -04:00
parent a59dd7d06d
commit 071270fe88
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
script/update_top_ranking_issues/main.py
View file

@ -32,7 +32,6 @@ ADDITIONAL_LABELS: set[str] = {
} }
IGNORED_LABELS: set[str] = { IGNORED_LABELS: set[str] = {
"ignore top-ranking issues", "ignore top-ranking issues",
"meta",
} }
ISSUES_PER_LABEL: int = 20 ISSUES_PER_LABEL: int = 20