def push_repositories(ps, remote='origin', branch='master', quiet=True):
for p in ps:
pp = os.path.join(paths.repository_dataset_dir, p)
# repo = Repo(pp)
repo = GitRepoManager()
repo.open_repo(pp)
if repo.smart_pull(remote=remote, branch=branch, quiet=quiet):
repo.push(remote, branch)
def push_repositories(ps, remote='origin', branch='master', quiet=True):
for p in ps:
pp = repository_path(p)
# repo = Repo(pp)
repo = GitRepoManager()
repo.open_repo(pp)
if repo.smart_pull(remote=remote, branch=branch, quiet=quiet):
repo.push(remote=remote, branch=branch)
def push_experiments(ps):
repo = GitRepoManager()
for p in ps:
pp = os.path.join(paths.experiment_dataset_dir, p)
repo.open_repo(pp)
repo.push()
def push_repositories(ps, remote=None):
repo = GitRepoManager()
for p in ps:
pp = os.path.join(paths.repository_dataset_dir, p)
repo.open_repo(pp)
repo.push(remote=remote)
def push_repositories(ps, remote=None):
repo = GitRepoManager()
for p in ps:
pp = os.path.join(paths.repository_dataset_dir, p)
repo.open_repo(pp)
repo.push(remote=remote)
