mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-11 04:36:24 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 11

Don't require an issue number while in dev mode

Browse source
This commit is contained in:
Joseph T. Lyons 2024-04-04 21:06:47 -04:00
parent cedbfac844
commit 773a3e83ad
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
script/update_top_ranking_issues/main.py
View file

@ -54,11 +54,14 @@ class IssueData:
@app.command() @app.command()
def main( def main(
issue_reference_number: int, issue_reference_number: Optional[int] = None,
github_token: Optional[str] = None, github_token: Optional[str] = None,
prod: bool = False, prod: bool = False,
query_day_interval: Optional[int] = None, query_day_interval: Optional[int] = None,
) -> None: ) -> None:
if prod and not issue_reference_number:
raise ValueError("Issue reference number must be provided in prod mode")
start_time: datetime = datetime.now() start_time: datetime = datetime.now()
start_date: datetime | None = None start_date: datetime | None = None