diff options
Diffstat (limited to 'config/metrics/schema.json')
-rw-r--r-- | config/metrics/schema.json | 34 |
1 files changed, 31 insertions, 3 deletions
diff --git a/config/metrics/schema.json b/config/metrics/schema.json index ddd13a6104a..3d081a8bca7 100644 --- a/config/metrics/schema.json +++ b/config/metrics/schema.json @@ -63,10 +63,9 @@ }, "milestone_removed": { "type": [ - "string", - "null" + "string" ], - "pattern": "^[0-9]+\\.[0-9]+$" + "pattern": "^<?[0-9]+\\.[0-9]+$" }, "introduced_by_url": { "type": [ @@ -208,6 +207,35 @@ "repair_issue_url" ] } + }, + { + "if": { + "properties": { + "data_source": { + "const": "internal_events" + } + } + }, + "then": { + "required": [ + "events" + ] + } + }, + { + "if": { + "properties": { + "status": { + "const": "removed" + } + } + }, + "then": { + "required": [ + "removed_by_url", + "milestone_removed" + ] + } } ] } |