[scripts/ci] Be more verbose where it matters

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",