Update $id property from Gitpod JSON Schema with the current URL

felladrin · roboquat · commit b29409611ef1 · 2022-05-09T18:07:24.000+05:30
diff --git a/components/gitpod-protocol/data/gitpod-schema.json b/components/gitpod-protocol/data/gitpod-schema.json
@@ -1,5 +1,5 @@
 {
-    "$id": "https://gitpod.io/gitpod.schema.json",
+    "$id": "https://gitpod.io/schemas/gitpod-schema.json",
     "$schema": "http://json-schema.org/draft-07/schema#",
     "title": "Gitpod Config",
     "type": "object",
@@ -389,4 +389,4 @@
         }
     },
     "additionalProperties": false
-}
+}

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`{`
`2`		`- "$id": "https://gitpod.io/gitpod.schema.json",`
	`2`	`+ "$id": "https://gitpod.io/schemas/gitpod-schema.json",`
`3`	`3`	`"$schema": "http://json-schema.org/draft-07/schema#",`
`4`	`4`	`"title": "Gitpod Config",`
`5`	`5`	`"type": "object",`
`@@ -389,4 +389,4 @@`
`389`	`389`	`}`
`390`	`390`	`},`
`391`	`391`	`"additionalProperties": false`
`392`		`-}`
	`392`	`+}`