chore: keep mypy happy

SwissDataScienceCenter · Aug 28, 2023 · 893c4c7 · 893c4c7
1 parent 9f12f91
commit 893c4c7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/renku/core/util/git.py b/renku/core/util/git.py
@@ -748,7 +748,7 @@ def clone_repository(
 
     path = Path(path) if path else Path(get_repository_name(url))
 
-    def error_from_progress(progress: git.RemoteProgress, url: str) -> errors.GitError:
+    def error_from_progress(progress: Optional[git.RemoteProgress], url: str) -> errors.GitError:
         """Format a Git command error into a more user-friendly format."""
 
         message = f"Cannot clone repo from {url}"

diff --git a/renku/infrastructure/repository.py b/renku/infrastructure/repository.py
@@ -30,7 +30,6 @@
 from pathlib import Path
 from typing import (
     Any,
-    Callable,
     Dict,
     Generator,
     List,
@@ -1001,7 +1000,7 @@ def clone_from(
         branch: Optional[str] = None,
         recursive: bool = False,
         depth: Optional[int] = None,
-        progress: Optional[Callable] = None,
+        progress: Optional[git.RemoteProgress] = None,
         no_checkout: bool = False,
         env: Optional[dict] = None,
         clone_options: Optional[List[str]] = None,
@@ -1018,7 +1017,7 @@ def clone_from(
                 branch=branch,  # NOTE: Git python will accept tag or branch here but not SHA
                 recursive=recursive,
                 depth=depth,
-                progress=progress,
+                progress=progress,  # type: ignore[arg-type]
                 no_checkout=no_checkout,
                 env=env,
                 multi_options=clone_options,