From 98307de18fdd3878ee8279869bae7ded5261d396 Mon Sep 17 00:00:00 2001 From: Romazes Date: Tue, 24 Dec 2024 16:58:26 +0200 Subject: [PATCH] refactor: use int type implicitly --- lean/models/json_module.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean/models/json_module.py b/lean/models/json_module.py index dd6ab486..e998c2f1 100644 --- a/lean/models/json_module.py +++ b/lean/models/json_module.py @@ -183,7 +183,7 @@ def get_project_id(self, default_project_id: int, require_project_id: bool) -> i :return: A valid project ID. """ from click import prompt - project_id = default_project_id + project_id: int = default_project_id if require_project_id and project_id <= 0: project_id = prompt("Please enter any cloud project ID to proceed with Auth0 authentication", -1, show_default=False)