Skip to content

docs: update repo references for renames (miden-base→protocol, miden-node→node, miden-tutorials→tutorials)#219

Merged
BrianSeong99 merged 1 commit intomainfrom
brian/fix-repo-references
Mar 20, 2026
Merged

docs: update repo references for renames (miden-base→protocol, miden-node→node, miden-tutorials→tutorials)#219
BrianSeong99 merged 1 commit intomainfrom
brian/fix-repo-references

Conversation

@BrianSeong99
Copy link
Contributor

Summary

  • Update all references across CI workflows, release manifest, config, docs content, README, and skill file to reflect renamed repos: miden-base→protocol, miden-node→node, miden-tutorials→tutorials, miden-docs→docs
  • Add redirects from old /core-concepts/miden-base/* and /core-concepts/miden-node/* paths to new /core-concepts/protocol/* and /core-concepts/node/* paths
  • 13 files changed across workflows, config, docs, and meta files

Closes #201
Supersedes #204

Test plan

  • npm run build passes with no new broken link warnings
  • After merge, verify redirects work: curl -sL -o /dev/null -w "%{http_code}" https://docs.miden.xyz/core-concepts/miden-base/
  • Verify CI deploy workflow runs successfully with renamed repos

🤖 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
@BrianSeong99 BrianSeong99 force-pushed the brian/fix-repo-references branch from 1f459f2 to d66af26 Compare March 20, 2026 11:05
@BrianSeong99 BrianSeong99 merged commit 69f0074 into main Mar 20, 2026
4 of 5 checks passed
@BrianSeong99 BrianSeong99 deleted the brian/fix-repo-references branch 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.

fix: update references to renamed repositories

1 participant