Skip to content

Commit d08ddeb

Browse files
authored
fix: Fix git mirror in url (#4556)
Missing the git mirror in calling gitter, so didn't call google's kernel mirror.
1 parent 279a7b5 commit d08ddeb

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

osv/repos.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -122,7 +122,7 @@ def clone(git_url, checkout_dir, git_callbacks=None, blobless=False):
122122
os.makedirs(checkout_dir, exist_ok=True)
123123
resp = requests.get(
124124
f'{GITTER_HOST}/getgit',
125-
params={'url': git_url},
125+
params={'url': _git_mirror(git_url)},
126126
stream=True,
127127
timeout=3600
128128
) # Long timeout duration (1hr) because it could be cloning a large repo

0 commit comments

Comments
 (0)