mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-10-23 14:59:50 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

Use set literal notation

Browse source
This commit is contained in:
Joseph T. Lyons 2024-04-11 00:43:06 -04:00
parent 859c5279c4
commit 43c115a747
1 changed files with 18 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

42
script/update_top_ranking_issues/main.py
View file

@ -14,32 +14,26 @@ from typer import Typer
app: Typer = typer.Typer()
DATETIME_FORMAT: str = "%m/%d/%Y %I:%M %p"
CORE_LABELS: set[str] = set(
[
"defect",
"design",
"documentation",
"enhancement",
"panic / crash",
]
)
CORE_LABELS: set[str] = {
"defect",
"design",
"documentation",
"enhancement",
"panic / crash",
}
# A set of labels for adding in labels that we want present in the final
# report, but that we don't want being defined as a core label, since issues
# with without core labels are flagged as errors.
ADDITIONAL_LABELS: set[str] = set(
[
"ai",
"linux",
"vim",
"windows",
]
)
IGNORED_LABELS: set[str] = set(
[
"ignore top-ranking issues",
"meta",
]
)
ADDITIONAL_LABELS: set[str] = {
"ai",
"linux",
"vim",
"windows",
}
IGNORED_LABELS: set[str] = {
"ignore top-ranking issues",
"meta",
}
ISSUES_PER_LABEL: int = 20
@ -49,7 +43,7 @@ class IssueData:
self.like_count: int = issue._rawData["reactions"]["+1"] # type: ignore [attr-defined]
self.creation_datetime: str = issue.created_at.strftime(DATETIME_FORMAT)
# TODO: Change script to support storing labels here, rather than directly in the script
self.labels: set[str] = set(label["name"] for label in issue._rawData["labels"]) # type: ignore [attr-defined]
self.labels: set[str] = {label["name"] for label in issue._rawData["labels"]} # type: ignore [attr-defined]
@app.command()