ptl-tool: log the ceph-ci push (and the equivalent git command)

Previously, a real (non-dry-run) push of the integration branch/tag to
ceph-ci was silent -- only the "[DRY RUN] Would push ..." path logged
anything. Add matching log.info() calls on the real-push path, and
include the literal `git push <remote> <ref>` invocation in the message
so it can be copy-pasted and re-run manually if needed (e.g. after a
network blip, or to re-push without re-running the whole merge).

Signed-off-by: Yuri Weinstein <yweinste@redhat.com>

diff --git a/src/script/ptl-tool.py b/src/script/ptl-tool.py
index 70602d3c370f2ef6c162148f0f257ad243b2da1d..1ee13390a17778e0a1446d0df0cd7f885bd2392f 100755 (executable)
--- a/src/script/ptl-tool.py
+++ b/src/script/ptl-tool.py
@@ -2256,8 +2256,10 @@ def build_branch(args):
     if args.push_ci or (not args.no_push_ci and do_qa):
         if not args.dry_run:
             G.git.push(CI_REMOTE_URL, branch) # for shaman
+            log.info("Pushed branch %s to %s (git push %s %s)" % (branch, CI_REMOTE_URL, CI_REMOTE_URL, branch))
             if created_branch and not args.no_tag:
                 G.git.push(CI_REMOTE_URL, tag.name) # for archival
+                log.info("Pushed tag %s to %s (git push %s %s)" % (tag.name, CI_REMOTE_URL, CI_REMOTE_URL, tag.name))
         else:
             log.info("[DRY RUN] Would push branch %s to %s" % (branch, CI_REMOTE_URL))
             if created_branch and not args.no_tag: