]> git.apps.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #57529 from rishabh-d-dave/ptl-no-ceph-ci-push
authorRishabh Dave <ridave@redhat.com>
Tue, 21 May 2024 08:34:39 +0000 (14:04 +0530)
committerGitHub <noreply@github.com>
Tue, 21 May 2024 08:34:39 +0000 (14:04 +0530)
ptl-tool: allow not pushing branch to ceph-ci

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

Trivial merge