]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commitdiff
projects / ceph.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: bce5048 cc8a3a0)
Merge PR #66843 into main
authorPatrick Donnelly <pdonnell@ibm.com>
Tue, 13 Jan 2026 21:17:02 +0000 (16:17 -0500)
committerPatrick Donnelly <pdonnell@ibm.com>
Tue, 13 Jan 2026 21:17:02 +0000 (16:17 -0500)
* refs/pull/66843/head:
script/ptl-tool: add option to explicitly push to ci

Reviewed-by: Yuri Weinstein <yweins@redhat.com>
1  2 
src/script/ptl-tool.py patch | diff1 | diff2 | blob | history

diff --cc src/script/ptl-tool.py
Simple merge
Unnamed repository; edit this file 'description' to name the repository.