1
0
Fork 0

Add source/dist keys to root schema, fixes #10655

pull/10666/head
Jordi Boggiano 2022-03-29 15:57:04 +02:00
parent eb0aaa7472
commit dca0a65597
No known key found for this signature in database
GPG Key ID: 7BBD42C429EC80BC
1 changed files with 47 additions and 35 deletions

View File

@ -132,6 +132,12 @@
}
}
},
"source": {
"$ref": "#/definitions/source"
},
"dist": {
"$ref": "#/definitions/dist"
},
"_comment": {
"type": ["array", "string"],
"description": "A key to store comments in"
@ -952,6 +958,15 @@
"type": "string"
}
},
"source": {
"$ref": "#/definitions/source"
},
"dist": {
"$ref": "#/definitions/dist"
}
},
"additionalProperties": true
},
"source": {
"type": "object",
"required": ["type", "url", "reference"],
@ -991,8 +1006,5 @@
}
}
}
},
"additionalProperties": true
}
}
}