diff options
| -rwxr-xr-x | .gitlab/fix-submodules.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/.gitlab/fix-submodules.py b/.gitlab/fix-submodules.py index 621d692edb..548e960c2a 100755 --- a/.gitlab/fix-submodules.py +++ b/.gitlab/fix-submodules.py @@ -6,7 +6,6 @@ clone their submodules from its usual location. Otherwise users would need to fork all submodules before their CI builds would succeed. """ -from typing import List, Dict from pathlib import Path import re @@ -16,7 +15,7 @@ open('.gitmodules', 'w').write(x) import subprocess -def get_configs(config_file: Path) -> Dict[str, str]: +def get_configs(config_file): args = ['git', 'config', '-f', config_file.as_posix(), '--list'] out = subprocess.check_output(args) configs = {} @@ -27,7 +26,7 @@ def get_configs(config_file: Path) -> Dict[str, str]: return configs -def set_config(config_file: Path, key: str, value: str) -> None: +def set_config(config_file, key, value): args = ['git', 'config', '-f', config_file.as_posix(), '--replace', key, value] subprocess.check_call(args) |