Hi Yu, I support keeping the docs repo in the main repo. I find it helpful to be able to search through the docs along with the code, and as you mention, it makes it easier for developers to contribute documentation as a part of PRs that introduce new features.
My one concern is the `pulsar-site` branch--it has become quite large. Given that we're keeping the branch in the main repo, do we plan to delete some or all of its history to decrease the cost of `git fetch` commands? Thanks, Michael On Tue, Feb 15, 2022 at 9:25 PM Yu <li...@apache.org> wrote: > > Hi Pulsarers, > > Since there is no discussion and objection, we'll keep the doc repo stay in > the pulsar repo and continue to move forward with PIP 87.
