From 1d223cc16f2611ea0269c4a5d025a617a176a64a Mon Sep 17 00:00:00 2001 From: rubenwardy Date: Sat, 25 Jan 2020 01:07:39 +0000 Subject: [PATCH] Use git init/fetch instead of git clone --- app/tasks/importtasks.py | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/app/tasks/importtasks.py b/app/tasks/importtasks.py index 21e931e..5e70850 100644 --- a/app/tasks/importtasks.py +++ b/app/tasks/importtasks.py @@ -156,8 +156,14 @@ def cloneRepo(urlstr, ref=None, recursive=False): repo = git.Repo.clone_from(gitUrl, gitDir, \ progress=None, env=None, depth=1, recursive=recursive, kill_after_timeout=15) else: - repo = git.Repo.clone_from(gitUrl, gitDir, \ - progress=None, env=None, depth=1, recursive=recursive, kill_after_timeout=15, b=ref) + repo = git.Repo.init(gitDir) + origin = repo.create_remote("origin", url=gitUrl) + assert origin.exists() + origin.fetch() + + new_head = repo.commit(ref) #repo.create_head("target", ref) + repo.head.reference = new_head + repo.head.reset(index=True, working_tree=True) return gitDir, repo