]> git.apps.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #42131 from tchaikov/wip-doc-dev-ci
authorJosh Durgin <jdurgin@redhat.com>
Fri, 23 Jul 2021 16:35:58 +0000 (09:35 -0700)
committerGitHub <noreply@github.com>
Fri, 23 Jul 2021 16:35:58 +0000 (09:35 -0700)
doc/dev/continuous-integration: use ceph repos

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

Trivial merge