Recently devcontainer names were updated to include the current user's name. However, in GitHub Codespaces, the username is not defined. As a result, the container name starts with a dash. This is not allowed by GitHub Codespaces, so it fails to launch.
This PR adds a default value of anon to the devcontainer username.
bdice
commented
3 months ago
Recently devcontainer names were updated to include the current user's name. However, in GitHub Codespaces, the username is not defined. As a result, the container name starts with a dash. This is not allowed by GitHub Codespaces, so it fails to launch.
This PR adds a default value of
anonto the devcontainer username.See https://github.com/rapidsai/cudf/pull/15784 for more information.