chore: keep mypy happy

SwissDataScienceCenter · Aug 28, 2023 · 73e4c25 · 73e4c25
1 parent 9f12f91
commit 73e4c25
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 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,