From d31012e15bcd499124a3ac665c4743fdbc70df34 Mon Sep 17 00:00:00 2001 From: James Bruten <109733895+james-bruten-mo@users.noreply.github.com> Date: Wed, 4 Feb 2026 07:59:03 +0000 Subject: [PATCH] fix type hinting --- github_scripts/get_git_sources.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/github_scripts/get_git_sources.py b/github_scripts/get_git_sources.py index f467ed8..08efaa0 100644 --- a/github_scripts/get_git_sources.py +++ b/github_scripts/get_git_sources.py @@ -10,7 +10,7 @@ import re import subprocess from datetime import datetime -from typing import Optional +from typing import Optional, Union from pathlib import Path from shutil import rmtree import shlex @@ -88,7 +88,7 @@ def datetime_str() -> str: def clone_and_merge( - dependency: str, opts: list | dict, loc: Path, use_mirrors: bool, mirror_loc: Path + dependency: str, opts: Union[list, dict], loc: Path, use_mirrors: bool, mirror_loc: Path ) -> None: """ Wrapper script for calling get_source and merge_source for a single dependency