Skip to content

Default docs dev server to port 3013#4

Merged
ethanj merged 1 commit intomainfrom
docs-port-3013
Apr 20, 2026
Merged

Default docs dev server to port 3013#4
ethanj merged 1 commit intomainfrom
docs-port-3013

Conversation

@ethanj
Copy link
Copy Markdown
Contributor

@ethanj ethanj commented Apr 20, 2026

Summary

  • Pin `npm start` and `npm run serve` to port 3013 via the Docusaurus `--port` flag. Matches the workspace convention where each service has a fixed local port (core 3050, SDK webapp 3015, etc.).
  • Update README "Local development" to document the new port and the new `regen:api` / `vendor:spec` workflow introduced in Phase 5 (which had left the old port + old "ported from core" phrasing stale).

Test plan

Pin `npm start` and `npm run serve` to port 3013 via the Docusaurus
`--port` flag so the dev preview sits on a stable, non-default port.
Matches the workspace convention where each service has a fixed
local port (core 3050, SDK webapp 3015, etc.).
@ethanj ethanj merged commit ff3e10b into main Apr 20, 2026
@ethanj ethanj deleted the docs-port-3013 branch April 20, 2026 09:36
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