added git_url_prefix

2026-07-27 14:07:05 -07:00 · 2020-05-21 06:54:48 -04:00
parent 616fa82973
commit 94bd99f38d
15 changed files with 27 additions and 17 deletions
@@ -126,7 +126,7 @@ void python::fetch_from_source()
 	instrument<times::fetch>([&]
 	{
 		run_tool(task_conf().make_git()
-			.url(make_github_url("python", "cpython"))
+			.url(task_conf().make_git_url("python", "cpython"))
 			.branch(version())
 			.root(source_path()));
 	});