]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #70350 from yuriw/wip-yuriw-ptl-tool-push-log
authorYuri Weinstein <yweinste@redhat.com>
Tue, 21 Jul 2026 14:48:50 +0000 (07:48 -0700)
committerGitHub <noreply@github.com>
Tue, 21 Jul 2026 14:48:50 +0000 (07:48 -0700)
ptl-tool: log the ceph-ci push (and the equivalent git command)

Reviewed-by: Patrick Donnelly <pdonnell@redhat.com>

Trivial merge