Skip to content

developer-facing docs#402

Merged
earth-walker merged 2 commits intomainfrom
docs-dev-section
Mar 31, 2026
Merged

developer-facing docs#402
earth-walker merged 2 commits intomainfrom
docs-dev-section

Conversation

@earth-walker
Copy link
Copy Markdown
Collaborator

restore developer-facing docs files, create folders for user-facing docs and dev-facing docs

@earth-walker earth-walker changed the title restore developer-facing docs files, create folders for user-facing docs and dev-facing docs developer-facing docs Mar 28, 2026
@earth-walker
Copy link
Copy Markdown
Collaborator Author

@prestoncabe I think we should probably have an intro page for the developer section at some point, but I don't think that's a high priority as we already have good documentation in the github repo. lmk if you want me to add that in this PR. otherwise we can make an issue for it.

@earth-walker earth-walker linked an issue Mar 28, 2026 that may be closed by this pull request
Copy link
Copy Markdown
Collaborator

@prestoncabe prestoncabe left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM for now!

@earth-walker earth-walker merged commit 8063821 into main Mar 31, 2026
@earth-walker earth-walker deleted the docs-dev-section branch March 31, 2026 12:20
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.

Restore codespaces guide for testing PRs

2 participants