From e5ff305c7a75d9a9115e2ef45e8e23f0ddc98d5d Mon Sep 17 00:00:00 2001
From: Christof Marti <chrmarti@microsoft.com>
Date: Thu, 4 Jun 2020 10:43:03 +0200
Subject: [PATCH] Add "codespaces"

---
 .../configuration-editing/schemas/devContainer.schema.json    | 4 ++++
 1 file changed, 4 insertions(+)

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."
 				}
 			}
 		},