diff options
Diffstat (limited to 'config/metrics/schema/status.json')
-rw-r--r-- | config/metrics/schema/status.json | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/config/metrics/schema/status.json b/config/metrics/schema/status.json new file mode 100644 index 00000000000..7b71a22b4c6 --- /dev/null +++ b/config/metrics/schema/status.json @@ -0,0 +1,33 @@ +{ + "allOf": [ + { + "if": { + "properties": { + "status": { + "const": "broken" + } + } + }, + "then": { + "required": [ + "repair_issue_url" + ] + } + }, + { + "if": { + "properties": { + "status": { + "const": "removed" + } + } + }, + "then": { + "required": [ + "removed_by_url", + "milestone_removed" + ] + } + } + ] +} |