Closed
Description
This is a thought I have had (as well as it has been mentioned in discord by others), but perhaps the docs repo should be merged into this repo.
Some pros of this:
- When submitting PRs, devs can submit docs in same commit (this reduces friction for su
- An extra step to drone can happen on merges that autobuild and push docs (to keep them fresh)
I'd be open to making a PR for this, however my (simple) approach would be to create a docs folder, and just dump a copy of HEAD into it, this may lose history though.