Skip to content

Remove unnecessary repo name from dev container file paths#36443

Closed
alasdair-cooper wants to merge 1 commit into
dotnet:mainfrom
alasdair-cooper:patch-1
Closed

Remove unnecessary repo name from dev container file paths#36443
alasdair-cooper wants to merge 1 commit into
dotnet:mainfrom
alasdair-cooper:patch-1

Conversation

@alasdair-cooper

Copy link
Copy Markdown

The repo name is unnecessary as the ${containerWorkspaceFolder} path will already include the repo name.

Fixes #36426

  • I've read the guidelines for contributing and seen the walkthrough
  • I've posted a comment on an issue with a detailed description of how I am planning to contribute and got approval from a member of the team
  • The code builds and tests pass locally (also verified by our automated build checks)
  • Commit messages follow this format:
        Summary of the changes
        - Detail 1
        - Detail 2

        Fixes #bugnumber
  • Tests for the changes have been added (for bug fixes / features)
  • Code follows the same patterns and style as existing code in this repo

- The repo name is unnecessary as the `${containerWorkspaceFolder}` path will already include the repo name.

Fixes dotnet#36426
@cincuranet

Copy link
Copy Markdown
Contributor

Complete fix in #38614.

@cincuranet cincuranet closed this Jul 13, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

devcontainer.json has incorrect file paths

4 participants