Skip to content

docs: restructure client docs under tools/clients and tools/cli#220

Closed
BrianSeong99 wants to merge 2 commits intobrian/fix-repo-referencesfrom
brian/client-under-tools
Closed

docs: restructure client docs under tools/clients and tools/cli#220
BrianSeong99 wants to merge 2 commits intobrian/fix-repo-referencesfrom
brian/client-under-tools

Conversation

@BrianSeong99
Copy link
Contributor

Summary

  • Update CI workflows to sync miden-client docs into tools/clients/ (instead of tools/client/), with CLI split into tools/cli/
  • Rewrite tools/index.md as a hub page linking to Clients, CLI, Playground, and Explorer
  • Add redirect from old tools/client/* to new tools/clients/* path

Base branch: brian/fix-repo-references (PR #219) — merge that first

Test plan

  • npm run build passes with no new broken link warnings
  • After CI deploy, verify tools/clients/ and tools/cli/ are populated from miden-client repo
  • Verify tools hub page renders correctly

🤖 Generated with Claude Code

…node→node, miden-tutorials→tutorials)

Update all references across CI workflows, release manifest, config,
docs content, README, and skill file to reflect the renamed repos:
- miden-base → protocol
- miden-node → node
- miden-tutorials → tutorials
- miden-docs → docs (projectName only)

Add redirects from old /core-concepts/miden-base/* and /core-concepts/miden-node/*
paths to new /core-concepts/protocol/* and /core-concepts/node/* paths.

Closes #201
Update CI workflows to sync miden-client docs into tools/clients/ instead
of tools/client/, and split CLI docs into their own tools/cli/ section.

Rewrite tools/index.md as a hub page linking to clients, CLI, playground,
and explorer sections. Update builder index card description.

Add redirect from old tools/client/* to new tools/clients/* path.
@BrianSeong99 BrianSeong99 force-pushed the brian/fix-repo-references branch from 1f459f2 to d66af26 Compare March 20, 2026 11:05
@BrianSeong99 BrianSeong99 deleted the branch brian/fix-repo-references March 20, 2026 11:14
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.

1 participant