From 3e3ae415f8bc4ae91379738df6d588ecdcd6e759 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Thu, 23 May 2019 12:39:01 +0200
Subject: [PATCH] [scripts/ci] Be more verbose where it matters
---
bob/devtools/scripts/ci.py | 12 +++++++-----
1 file changed, 7 insertions(+), 5 deletions(-)
diff --git a/bob/devtools/scripts/ci.py b/bob/devtools/scripts/ci.py
index a316eaac..109a71e0 100644
--- a/bob/devtools/scripts/ci.py
+++ b/bob/devtools/scripts/ci.py
@@ -681,16 +681,18 @@ def docs(ctx, requirement, dry_run):
# clone the repo, shallow version, on the specified branch
if dry_run:
- logger.info('Cloning "%s", branch "%s" (depth=1)...', package, branch)
+ logger.info('Cloning "%s", branch "%s" (depth=1) to %s...', package,
+ branch, clone_to)
else:
if os.path.exists(clone_to):
- logger.info('Repo "%s", already cloned; pulling from master...',
- package)
+ logger.info('Repo "%s", already cloned at %s; updating branch "%s"...',
+ package, clone_to, branch)
git.Git(clone_to).pull("origin", branch)
else:
- logger.info('Cloning "%s", branch "%s" (depth=1)...', package, branch)
+ logger.info('Cloning "%s", branch "%s" (depth=1) to %s...', package,
+ branch, clone_to)
git.Repo.clone_from('https://gitlab-ci-token:%s@gitlab.idiap.ch/%s' % \
- (token, package), clone_to, branch=branch, depth=1)
+ (token, package), clone_to, branch=branch, depth=1)
# Copying the content from extra_intersphinx
extra_intersphinx_path = os.path.join(clone_to, "doc",
--
GitLab