diff --git a/extensions/configuration-editing/schemas/devContainer.schema.json b/extensions/configuration-editing/schemas/devContainer.schema.json index b1d261d1c77..abf7469d356 100644 --- a/extensions/configuration-editing/schemas/devContainer.schema.json +++ b/extensions/configuration-editing/schemas/devContainer.schema.json @@ -91,6 +91,10 @@ "devPort": { "type": "integer", "description": "The port VS Code can use to connect to its backend." + }, + "codespaces": { + "type": "object", + "description": "Codespaces-specific configuration." } } },