]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph-ci.git/commitdiff
Merge pull request #17926 from batrick/ptl-tool
authorYuri Weinstein <yuri.weinstein@gmail.com>
Wed, 27 Sep 2017 22:06:10 +0000 (15:06 -0700)
committerGitHub <noreply@github.com>
Wed, 27 Sep 2017 22:06:10 +0000 (15:06 -0700)
scripts: add ptl-tool for scripting merges

Reviewed-by: Josh Durgin <jdurgin@redhat.com>
Reviewed-by: Yuri Weinstein <yweins@redhat.com>

Trivial merge