Skip to content

Add docs gen for Resources#22

Merged
gtoff merged 3 commits into
mainfrom
resources-docs
Dec 11, 2024
Merged

Add docs gen for Resources#22
gtoff merged 3 commits into
mainfrom
resources-docs

Conversation

@mikelikesrobots
Copy link
Copy Markdown

Use docusaurus doc generation for Resources page, so we can add more pages and divide them up if we want. Add resources to the pages.

PR requires many more resources before being ready for merge.

@mikelikesrobots mikelikesrobots marked this pull request as ready for review December 10, 2024 16:46
@chfritz
Copy link
Copy Markdown

chfritz commented Dec 10, 2024

Seems like a huge improvement to me already. Shouldn't we merge this already? We can always add more to it later.

@mikelikesrobots
Copy link
Copy Markdown
Author

Yes, I marked it ready for review but didn't remove the draft from the title. If you're happy to merge it, let's go ahead!

@mikelikesrobots mikelikesrobots changed the title [DRAFT] Add docs gen for Resources Add docs gen for Resources Dec 11, 2024
@gtoff gtoff merged commit 6a4c2cb into main Dec 11, 2024
@gtoff gtoff deleted the resources-docs branch December 11, 2024 13:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants