change pr type (#8143)
This commit is contained in:
parent
65d6010e4d
commit
445292b079
@ -313,7 +313,7 @@ def manifest_metadata(request):
|
|||||||
{
|
{
|
||||||
"type": "object",
|
"type": "object",
|
||||||
"properties": {
|
"properties": {
|
||||||
"product_type": {"enum": ["private_linux_ubuntu_18_04", "private_windows_vs2019"]},
|
"product_type": {"type": "string"},
|
||||||
"repo_url": {"type": "string"},
|
"repo_url": {"type": "string"},
|
||||||
"commit_sha": {"type": "string"},
|
"commit_sha": {"type": "string"},
|
||||||
"commit_date": {"type": "string"},
|
"commit_date": {"type": "string"},
|
||||||
|
Loading…
Reference in New Issue
Block a user