From 034c72c9d67ce5836d86937c6193e23e48dc84bb Mon Sep 17 00:00:00 2001 From: Rex P Date: Mon, 29 Dec 2025 11:10:07 +1100 Subject: [PATCH] Fix git mirror in url --- osv/repos.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/osv/repos.py b/osv/repos.py index 8c236069c96..9f69bbbd93a 100644 --- a/osv/repos.py +++ b/osv/repos.py @@ -122,7 +122,7 @@ def clone(git_url, checkout_dir, git_callbacks=None, blobless=False): os.makedirs(checkout_dir, exist_ok=True) resp = requests.get( f'{GITTER_HOST}/getgit', - params={'url': git_url}, + params={'url': _git_mirror(git_url)}, stream=True, timeout=3600 ) # Long timeout duration (1hr) because it could be cloning a large repo