def update_cache_objects(gittree, objdir, input): env = make_proxy_env(input) if not os.path.isdir(objdir): git.clone(gittree, objdir, options=['--bare'], env=env) else: git.set_origin(gittree, objdir) git.remote_update(objdir, env=env)
def update_cache_objects(gittree, objdir): if not os.path.isdir(objdir): git.clone(gittree, objdir, options=['--bare']) else: git.set_origin(gittree, objdir) git.remote_update(objdir)