From: Yuri Weinstein Date: Mon, 20 Jul 2026 18:54:49 +0000 (-0700) Subject: ptl-tool: log the ceph-ci push (and the equivalent git command) X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=refs%2Fpull%2F70350%2Fhead;p=ceph.git 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 ` 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 --- diff --git a/src/script/ptl-tool.py b/src/script/ptl-tool.py index 70602d3c370..1ee13390a17 100755 --- 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: