Re: [Discussion] keep doc repo stay in pulsar repo?

[Yu]

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.