From: Josh Durgin Date: Fri, 23 Jul 2021 16:35:58 +0000 (-0700) Subject: Merge pull request #42131 from tchaikov/wip-doc-dev-ci X-Git-Tag: v17.1.0~1309 X-Git-Url: http://git.apps.os.sepia.ceph.com/?a=commitdiff_plain;h=ce483a14ed767a0ce5f197c60c7e5d4defe637ba;p=ceph-ci.git Merge pull request #42131 from tchaikov/wip-doc-dev-ci doc/dev/continuous-integration: use ceph repos Reviewed-by: Josh Durgin --- ce483a14ed767a0ce5f197c60c7e5d4defe637ba