Docs are in this repo as we get benefits from pull requests and documentation tests which is great! I do wonder to simplify things going forward if we could just bring the docs site into this repo under /website folder or something.
This would just simplify things, and also help external contributors understand how to contribute to our docs.
Use Case
At the moment we have part of the docs site in this repo and most of it over on the https://github.com/winglang/docsite.
Docs are in this repo as we get benefits from pull requests and documentation tests which is great! I do wonder to simplify things going forward if we could just bring the docs site into this repo under /website folder or something.
This would just simplify things, and also help external contributors understand how to contribute to our docs.
Proposed Solution
Delete https://github.com/winglang/docsite and move it to the main repo.
Implementation Notes
Maybe I'm missing some lost context of why this is a bad idea... @Chriscbr , @eladb
Component
No response
Community Notes