mirror of
https://github.com/coder/coder.git
synced 2026-11-09 01:34:04 +08:00
Relates to https://github.com/coder/internal/issues/732 This PR supports specifying a name that will be used for the devcontainer agent in the customizations section of the devcontainer.json configuration file.