]> git.apps.os.sepia.ceph.com Git - ceph-build.git/commitdiff
Merge pull request #1737 from ceph/wip-docs-easier
authorDavid Galloway <dgallowa@redhat.com>
Wed, 3 Feb 2021 19:16:03 +0000 (14:16 -0500)
committerGitHub <noreply@github.com>
Wed, 3 Feb 2021 19:16:03 +0000 (14:16 -0500)
Stop building binaries for docs-only PRs


Trivial merge