readthedocs.org

29d74c90 - CI: trigger circleci job on readthedocs-ext on merge (#10433)

CI: trigger circleci job on readthedocs-ext on merge (#10433) Same as we do with readthedocs-corporate, there was a bug that could have been caught with this. Also, don't think we need to hide the repo and job name, we have linked to those repos from public places already.