Use supplied remote name when cloning git repository

reviewable/pr18780/r1
Stephen Fromm 12 years ago
parent 3ec51ce587
commit 0480443759

6
git

@ -77,13 +77,13 @@ def get_version(dest):
sha = sha[0].split()[1] sha = sha[0].split()[1]
return sha return sha
def clone(repo, dest): def clone(repo, dest, remote):
''' makes a new git repo if it does not already exist ''' ''' makes a new git repo if it does not already exist '''
try: try:
os.makedirs(os.path.dirname(dest)) os.makedirs(os.path.dirname(dest))
except: except:
pass pass
return _run("git clone %s %s" % (repo, dest)) return _run("git clone -o %s %s %s" % (remote, repo, dest))
def has_local_mods(dest): def has_local_mods(dest):
os.chdir(dest) os.chdir(dest)
@ -217,7 +217,7 @@ def main():
before = None before = None
local_mods = False local_mods = False
if not os.path.exists(gitconfig): if not os.path.exists(gitconfig):
(rc, out, err) = clone(repo, dest) (rc, out, err) = clone(repo, dest, remote)
if rc != 0: if rc != 0:
module.fail_json(msg=err) module.fail_json(msg=err)
else: else:

Loading…
Cancel
Save