Skip to content

Clarify local server restart note - #3149

Open
aadyasingh55 wants to merge 1 commit into
buildkite:mainfrom
aadyasingh55:docs-polish-terminology
Open

Clarify local server restart note#3149
aadyasingh55 wants to merge 1 commit into
buildkite:mainfrom
aadyasingh55:docs-polish-terminology

Conversation

@aadyasingh55

Copy link
Copy Markdown

Summary

  • Reword the alternate port example in the local development instructions
  • Simplify the non-containerized server restart note to avoid repeated wording

Validation

  • Ran (reports two existing warnings for ; this PR does not introduce them)

@aadyasingh55
aadyasingh55 requested a review from a team as a code owner August 9, 2026 09:08
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