Skip to content

Rename README-positron-workbench.md to README.md#14881

Closed
midleman wants to merge 1 commit into
mainfrom
mi/rename-workbench-readme
Closed

Rename README-positron-workbench.md to README.md#14881
midleman wants to merge 1 commit into
mainfrom
mi/rename-workbench-readme

Conversation

@midleman

Copy link
Copy Markdown
Contributor

Summary

Renames docker/environments/workbench-dev/README-positron-workbench.md to README.md, matching the plain naming used by the sibling wb-local/README.md.

  • Updates the 2 references in workbench-local.sh
  • Updates the 1 reference in test/e2e/README.md

QA Notes

None

Matches the naming used by the sibling wb-local README and drops
redundant self-reference to the containing directory's own name.
@github-actions

Copy link
Copy Markdown

E2E Tests 🚀
This PR will run tests tagged with: @:critical

Note

No feature tags detected. If this PR needs feature coverage, add the tag above and retrigger the workflow.

readme  valid tags

@midleman

Copy link
Copy Markdown
Contributor Author

Folding this into #14880 instead - keeping the rename in the same branch.

@midleman midleman closed this Jul 15, 2026
@midleman
midleman deleted the mi/rename-workbench-readme branch July 15, 2026 14:54
@github-actions github-actions Bot locked and limited conversation to collaborators Jul 15, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant